Computation and automata / Arto Salomaa. Cambridge [u.a.] : Cambridge Univ. Pr., 1985