1. , , , , , , , , and , The D System: Support for data-parallel programming, Tech. Rep. CRPC-TR94-378, Center for Research on Parallel Computation, Rice University, January 1994.
2. Interprocedural data flow analysis, pp. 398–402 in: Proceedings of the IFIP Congress 1974, North Holland, New York, 1974.
3. and , PFC: A program to convert FORTRAN to parallel form, pp. 186–203 in: Supercomputers: Design and Applications, ed., IEEE Computer Society Press, Los Alamitos, California, 1984.
4. , and , Detecting equality of variables in programs, pp. 1–11 in: Conference Record of the Fifteenth ACM Symposium on the Principles of Programming Languages, ACM Press, New York, 1988.
5. An efficient way to find side effects of procedure calls and aliases of variables, pp. 29–41 in: Proceedings of the Sixth Annual Symposium on Principles of Programming Languages, ACM Press, New York, 1979.