Heinz Gumin Digital Computers, Mathematical Logic and Principal Limitations of Computability. 29-32 1962 IFIP Congress db/conf/ifip/ifip1962.html#Gumin62