S.: A flexible approach to interprocedural data flow analysis and programs with recursive data structures (1982)

by N Jones, Muchnick
Venue:In: Princ. of Prog. Lang