A basis for a mathematical theory of computation. (John McCarthy, 1961-3) [pdf]www-formal.stanford.edu1 pointfanf29 months ago