P. Fairfield Michael A. Hennell Data flow analysis of recursive procedures. 48-57 1988 23 SIGPLAN Notices 1 http://doi.acm.org/10.1145/44304.44308 db/journals/sigplan/sigplan23.html#FairfieldH88