A approach to interprocedural data analysis and programs with recursive data structures (1982)

by Neil D Jones, Steven S Muchnick
Venue:In Conf. Rec. of the Ninth Ann. ACM Symp. on Principles of Programming Languages