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