Peter Bachmann Data-Flow-Analysis in Weakly Interpreted Program-Schemes. 63-68 1977 IFIP Congress db/conf/ifip/ifip1977.html#Bachmann77