Computation And Automata - Salomaa Arto (Cambridge University Press, 1985)