" An introduction to formal language theory / " Robert N. Moll, Michael A. Arbib, A.J. Kfoury ; with contributions by James Pustejovsky.