1. Extension of an effectively generated class of functions by enumeration
2. Introduction to metamathematics. Van Nostrand, New York and Toronto, North Holland Publishing Co., Amsterdam, and Noordhoff, Groningen, 1952, 10 + 550 pp.
3. Die beschränkt-rekursiven Funktionen und die Ackermannsche Majorisierungsmethode. Pub. Math. vol. 4 (1956), 362–375.
4. Rekursive Funktionen. Akademischer Verlag, Budapest, 1951, 206 pp.