1. Automorphisms of the Lattice of Recursively Enumerable sets. Ph. D. Thesis, University of Wisconsin, 1992.
2. Minimal pairs and high recursively enumerable degrees
3. Notes on the 0° priority method with special attention to density arguments. In: Recursion Theory Week, Oberwolfach 1989, Lecture Notes in Mathematics 1432, Springer-Verlag, Berlin-Heidelberg-New York 1990, pp. 111–140.
4. and , Density and infima in the recursively enumerable degrees. In preparation.
5. Automorphisms of the lattice of recursively enumerable sets: Orbits