An introduction to formal language theory - Arbib, Michael A.; Kfoury, A. J.; Moll, Robert N. (Springer-Verlag, 1988)