Dear all, Stuart A. Kurtz mentions an early paper by McCarthy, "A Basis for a Mathematical Theory of Computing". For those interested in examining this paper first-hand, it is available on-line at Prof. McCarthy's web site at: http://www-formal.stanford.edu/jmc/basis.html. Best regards, Frode L. Odegard Odegard Labs, Inc.