COMPUTATION AND AUTOMATA - Salomaa, Arto (Cambridge Cambridge Univ. Pr., 1985)
Keywords: Computable Functions; Computational Complexity; Sequential Machine Theory