1. J. C. E. Dekker, A non-constructive extension of the number system. I, II, J. Symbolic Logic 20 (1955), 204-205.
2. Congruences in isols with a finite modulus;Dekker, J. C. E.;Math. Z,1958
3. Retraceable sets;Dekker, J. C. E.;Canadian J. Math.,1958
4. Recursive equivalence types;Dekker, J. C. E.;Univ. California Publ. Math.,1960
5. Extensions to isols;Nerode, Anil;Ann. of Math. (2),1961