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