* Hartley Rogers, Jr., "The Theory of Recursive Functions and Effective Computability", MIT Press, ISBN 0-262-68052-1 (paperback), ISBN 0-07-053522-1* Sipser, M. (1996), "Introduction to the Theory of Computation", PWS Publishing Co.* Robert I. Soare (1987), "Recursively Enumerable Sets and Degrees", Springer-Verlag, ISBN 0-387-15299-7* Daniel Kroening & Ofer Strichman, "Decision procedures", Springer, ISBN 978-3-540-74104-6* Aaron Bradley & Zohar Manna, "The calculus of computation", Springer, ISBN 978-3-540-74112-1
* Daniel Kroening & Ofer Strichman, "Decision procedures", Springer, ISBN 978-3-540-74104-6* Hartley Rogers, Jr., "The Theory of Recursive Functions and Effective Computability", MIT Press, ISBN 0-262-68052-1 (paperback), ISBN 0-07-053522-1* Проблема разрешения