1. Z. Ariola and Arvind. P-TAC: A Parallel Intermediate Language. In Proc. ACM Conference on Functional Programming Languages and Computer Architecture, London, September 1989.
2. Z. Ariola and Arvind. A Syntactic Approach to Program Transformations. In Proc. ACM SIGPLAN Symposium on Partial Evaluation and Semantics Based Program Manipulation, Yale University, New Haven, CT, June 1991.
3. Z. Ariola and Arvind. Compilation of Id. In Proc. of the Fourth Worskshop on Languages and Compilers for Parallel Computing, Santa Clara, California, Springer-Verlag LNCS 589, August 1991.
4. Z. Ariola and Arvind. Graph Rewriting Systems For Efficient Compilation, chapter 6. John Wiley & Sons, 1993.
5. H. Barendregt, M. van Eekelen, J. Glauert, J. Kennaway, M. Plasmeijer, and M. Sleep. Term Graph Rewriting. In Proceedings of the PARLE Conference, Eindhoven, The Netherlands, Springer-Verlag LNCS 259, pages 141–158, June 1987.