1. Proceedings o;Jockusch,1979
2. The Upper Semi-Lattice of Degrees of Recursive Unsolvability
3. Topological framework for finite injury. To appear.
4. Category methods in recursion theory
5. Theory of Recursive Functions and Effective Computability. McGraw-Hill, New York 1967.