1. 1. J. C. E. Dekker, A nonconstructive extension of the number system, J. Symbolic Logic vol. 20 (1955) pp. 204-205.
2. 2. J. C. E. Dekker, On certain equations in isols, J. Symbolic Logic vol. 22 (1957) pp. 105-106 and Bull. Amer. Math. Soc. vol. 63 (1957) p. 313.
3. Recursive equivalence types;Dekker, J. C. E.;Univ. California Publ. Math.,1960
4. 4. A. Nerode, Some remarks on isolic arithmetic, Notices Amer. Math. Soc. vol. 6 (1958) p. 216.
5. On completely recursively enumerable classes and their key arrays;Rice, H. G.;J. Symbolic Logic,1956