Monotone data flow analysis frameworks1977-01-010 PRE AI DOI:10.1007/bf00290339OriginalOriginal request for helpShareSaveAbstract En