1. Genericity for recursively enumerable sets. In: Recursion Theory Week, Proceedings of a Conference held in Oberwolfach, April 15–21, 1984 (H. D. Ebbinghaus, G. H. Müller, G. E. Sacks, eds.). Springer Lecture Notes in Mathematics 1141 (1985), pp. 203–232.
2. Springer Lect;Lachian,1973
3. Degrees of Unsolvability. Springer-Verlag, Berlin-Heidelberg-New York 1983.
4. Finite injury and Σ1-induction