Jeffrey M. Barth An Interprocedural Data Flow Analysis Algorithm. 119-131 1977 POPL db/conf/popl/popl77.html#Barth77 POPL/00001436.PDF