Program Flow Analysis, Theory and Applications, chapter 4, Flow Analysis and Optimization of LISP-like Structures (1983)

by N D Jones, S S Muchnick