Klaus Samelson Programming Languages and their Processing. 487-492 1962 conf/ifip/1962 IFIP Congress db/conf/ifip/ifip1962.html#Samelson62