Computability theory & automata theory [ - Plante, Kristy; Jensen, Tomas (College Publishing House, 2012)