An Introduction to Formal Language Theory by Michael A. Arbib & Robert N. Moll