Computability theory & automata theory - Plante, Kristy; Jensen, Tomas (New York, United States College Publishing House, 2012)
Keywords: Computable functions; Computer science; Machine theory