Data flow analysis of applicative programs using minimal function graphs (1986)

by N Jones, A Mycroft
Venue:in: Proc. 13th ACM Symp. on Principles of Prog. Languages