1. Combinatorics, Cambridge University Press, Cambridge, England, 1986.
2. and , Recursive equivalence types. Univ. of California Publ. in Math. (N.S.) 3 (1960), pp. 67–214.
3. Regressive isols. In: Sets, Models and Recursion Theory (ed.), North-Holland Publ. Comp., Amsterdam 1967, pp. 272–296.
4. Isols and generalized Boolean algebras
5. Families of Non-disjoint subsets