Introduction to the Theory of Automata - BAVEL, Zamir (Reston Publishing Company, Inc., 1983)