Symbolic evaluation and the global value graph (1977)

by J R Reif, H R Lewis
Venue:In Conference Record of the 4th ACM SIGACT/SIGPLAN Symposium on Principles on Programming Languages