A Basis for a Mathematical Theory of Computation) [chapter]

John McCarthy
1963 Studies in Logic and the Foundations of Mathematics  
doi:10.1016/s0049-237x(08)72018-4 fatcat:tvkynsewjrghjhdrsmbphuswpq