Computation and automata - Salomaa Arto (Cambridge Cambridge University Press, 1985)
Keywords: Sequential machine theory