Patricia B. Van Verth
Canisius College, Buffalo, NY
A program data flow analysis procedure
Communications of the ACM