1. N. D. Jones and S. S. Muchnick, Program Flow Analysis, Theory and Applications, Ch. 4, Flow Analysis and Optimization of LISP-like Structures, Prentice-Hall, pp. 102–131, 1981.
2. N. D. Jones and S. S. Muchnick, A Flexible Approach to Interprocedural Data Flow Analysis and Programs with Recursive Data Structures, Conf. Ree. of the Ninth Ann. ACM Symp. on Principles of Programming Languages, Albuquerque, N. Mex., pp. 66–74 (January 1982).
3. J. R. Larus and P. N. Hilfinger, Detecting Conflicts Between Structure Accesses, Proc. of the SIGPLAN ’88 Conf. on Programming Language Design and Implementation, Atlanta, Georgia, pp. 21–34 (June 1988).
4. J. R. Larus, Compiling Lisp Programs for Parallel Execution, Lisp and Symbolic Computation, 4:29–99 (1991).
5. V. A. Guarna, Jr., A Technique for Analyzing Pointer and Structure References in Parallel Restructuring Compilers, Proc. of the 1988 Intl. Conf. on Parallel Processing, Vol. II, St. Charles, Illinois, pp. 212–220 (August 1988).