Computation and automata - Salomaa Arto (Encyclopedia of Mathematics and its Applications, 1985)