Automata and computability - KOZEN (New York: Springer, 1997)
BCSCU
Keywords: Machine theory; Computable functions