1. General topology and partial recursive functionals. Summaries of Talks prseented at the Summer Institute for Symbolic Logic, Cornell University 1957, p. 247–251.
2. Theory of recursive functions and effective computability. McGraw-Hill, New York 1967.