1. J.W. ADDISON 9, 118, 189, 204, 205, 270, 272, 380.
2. [1954] On some points of the theory of recursive functions, Doctoral Dissertation, University of Wisconsin (1954): 7, 189, 270.
3. Separation principles in the hierarchies of classical and effective descriptive set theory;Fund. Math.,1959
4. Some consequences of the axiom of constructibility;Fund. Math.,1959
5. A note on function quantification;Addison;Proc. Amer. Math. Soc.,1957