1. Azcel P (1988) Non-well-founded sets. Center for the Study of Language and Information, Stanford California.
2. Barwise J, Etchemendy J (1992) The language of first order logic, 3rd edn. Center for the Study of Language and Information, Stanford, California
3. Brooks R (2002) Beyond computation: a talk with Rodney Brooks. In: Edge: the third culture. Retrieved September 11, 2006 from http://www.edge.org/3rd_culture/brooks_beyond/beyond_index.html
4. Devlin K (1991) The joy of sets, 2nd edn. Springer, New York
5. Church A (1937) Review of Turing 1936. J Symbolic Logic 2:42–43