Introduction to the theory of automata - Bavel, Zamir (Reston Publ., 1983)