We82b Weiser, M. “Programmers Use Slices When Debugging.” Communications of the ACM 25(7) (July 1982): 446–452.
GH93 Guttag, J. V., and Horning, J. J. Larch: Languages and Tools for Formal Specification. Springer-Verlag, 1993.
LMSS91 Loeliger, J. D.; Metzger, R. C.; Seligman, M.; and Stroud, S. “Pointer Target Tracking: An Empirical Study.” In Proceedings of Supercomputing 1991, IEEE Computer Society Press, 14–23.
LM94 Loeliger, J. D., and Metzger, R. C. “Engineering an Interprocedural Optimizing Compiler.” SIGPLAN Notices 29(4) (April 1994): 41–48.
MS93 Metzger, R. C., and Stroud, S. “Interprocedural Constant Propagation: An Empirical Study.” ACM Letters on Programming Languages and Systems 2(1) (March, 1993): 213–232.
MW00 Metzger, R., and Wen, Z. Automatic Algorithm Recognition and Replacement: A New Approach to Program Optimization. MIT Press, 2000.
Wo96 Wolfe, M. High Performance Compilers for Parallel Computing. AddisonWesley, 1996.
AK01 Allen, R., and Kennedy, K. Optimizing Compilers for Modern Architectures: A Dependence-Based Approach. Morgan-Kauffman, 2001.