Manfred Broy Helmuth Partsch Peter Pepper Martin Wirsing Semantic Relations in Programming Languages. 101-106 1980 IFIP Congress db/conf/ifip/ifip80.html#BroyPPW80