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