McCarthy, J. "A basis for a mathematical theory of computation" pp225-238

(1961)

[JCC 19] (1961) [JCC 19] Proceedings of the Western Joint Computer Conference, May 1961  

Languages mentioned