Theory of computation: formal Languages, automata, and complexity - Brookshear, J. Glenn (The Benjamin-Cummings, 1989)