1. Extensions to Regressive Isols.
2. Infinite series of isols. Proc. of Symposia in Pure Mathematics 5, A.M.S., Providence, R. I., 1962, pp. 77–96.
3. and . Recursive equivalence types. University of California Publications in Mathematics (New Series), 3, No. 3 (1960), 67–214.
4. On the Degrees of Universal Regressive Isols.