1. Annals of Mathematics Studies, no. 6;Church,1941
2. Introduction to Mathematical Logic;Church,1952
3. Computability and Unsolvability;Davis,1958
4. A.P. ERSHOV, On Operator Algorithms (Russian), 122 no. 6, Doklady Akademii Nauk, 967–970.
5. Recursive Predicates and Quantifiers;Kleene;Transactions of the American Mathematical Society,1953