Computation and Automata - Arto Salomaa (1985)