1. Chaitin 2007: ‘Thinking about Gödel and Turing’. Gregory J. Chaitin, World Scientific, Singapore (2007). ISBN 9-812-7-0897-9.
2. Church 1936: ‘An Unsolvable Problem of Elementary Number Theory’. Alonzo Church, in: der American Journal of Mathematics, Band 58, Nr. 2 (1936), S. 345–363.
3. Church 1937: ‚Rezension von “On Computable Numbers, with an Application to the Entscheidungsproblem”, by A.M. Turing‘. Alonzo Church, in: Journal of Symbolic Logic, Band 2, Nr. 1 (1937), S. 42–43.
4. Copeland et al., Hrsg. (2013): ‘Computability: Turing, Gödel, Church and Beyond’. B. Jack Copeland, Carl J. Posy, und Oron Shagrir, Hrsg., MIT Press, Cambridge MA (2013). ISBN 978-0-262-0-1899-3. Siehe auch Anhang B, Ref. 39 (CPS).
5. Davis, Hrsg. (1965): The Undecidable. Basic papers on undecidable propositions, unsolvable problems and computable functions, Hrsg. Martin Davis, Raven Press, Hewlitt NY (1965). ISBN: 0-486-43228-9.