John McCarthy Towards a Mathematical Science of Computation. 21-28 1962 IFIP Congress db/conf/ifip/ifip1962.html#McCarthy62