\begin{thebibliography}{10}

\bibitem{Zena93}
Z.~Ariola.
\newblock {Relating Graph and Term Rewriting via B\"ohm Models}.
\newblock In {\em Proc. RTA '93, Montreal, Canada, June}, 1993.

\bibitem{Zena89}
Z.~Ariola and Arvind.
\newblock {P-TAC: A Parallel Intermediate Language}.
\newblock In {\em Proc. ACM Conference on Functional Programming Languages and
  Computer Architecture, London, UK}, September 1989.

\bibitem{Zena91a}
Z.~Ariola and Arvind.
\newblock {A Syntactic Approach to Program Transformations}.
\newblock In {\em Proc. ACM SIGPLAN Symposium on Partial Evaluation and
  Semantics Based Program Manipulation, New Haven, CT}, June 1991.

\bibitem{Zena92b}
Z.~Ariola and Arvind.
\newblock {Compilation of Id}.
\newblock In {\em Proc. of the Fourth Workshop on Languages and Compilers for
  Parallel Computing, Santa Clara, CA, Springer-Verlag LNCS 589}, August 1991.

\bibitem{Zena93d}
Z.~M. Ariola and J.~W. Klop.
\newblock {Equational Term Graph Rewriting}.
\newblock Technical Report Draft, 1993.

\bibitem{Barendregt}
H.~Barendregt.
\newblock {\em {The Lambda Calculus: Its Syntax and Semantics}}.
\newblock North-Holland, Amsterdam, 1984.

\bibitem{Dutch86}
H.~Barendregt, T.~Brus, M.~van Eekelen, J.~Glauert, J.~Kennaway, M.~van Leer,
  M.~Plasmeijer, and M.~R. Sleep.
\newblock {Towards an Intermediate Language based on Graph Rewriting}.
\newblock In {\em Proceedings of the PARLE Conference, Eindhoven, The
  Netherlands, Springer-Verlag LNCS 259}, June 1987.

\bibitem{Barendregt87c}
H.~Barendregt, M.~van Eekelen, J.~Glauert, J.~Kennaway, M.~Plasmeijer, and
  M.~Sleep.
\newblock {Term Graph Rewriting}.
\newblock In {\em Proceedings of the PARLE Conference, Eindhoven, The
  Netherlands, Springer-Verlag LNCS 259}, June 1987.

\bibitem{Bru87}
T.~Brus, M.~van Eekelen, M.~vam Leer, and M.~Plasmeijer.
\newblock {Clean - A language for Functional Graph Rewriting}.
\newblock In {\em Proc. ACM Conference on Functional Programming Languages and
  Computer Architecture, Portland, OR, Springer-Verlag LNCS 274}, 1987.

\bibitem{Hennessy}
M.~Hennessy.
\newblock {\em {Algebraic Theory of Processes}}.
\newblock MIT Press, 1988.

\bibitem{Huet2}
G.~Huet and J.-J. L\'evy.
\newblock {Computations in Orthogonal Rewriting Systems II}.
\newblock Technical report, INRIA, Rocquencourt, France, 1990.

\bibitem{Hughes82}
R.~J.~M. Hughes.
\newblock {Super-combinators}.
\newblock In {\em Proceedings of Lisp and Functional Programming, Pittsburg,
  PA}, 1982.

\bibitem{Johnsson85}
T.~Johnsson.
\newblock {Lambda Lifting: Transforming Programs to Recursive Equations}.
\newblock In {\em Proceedings of Functional Programming Languages and Computer
  Architecture Conference, Nancy, France, Springer-Verlag LNCS 201}, September
  1985.

\bibitem{Vinod90}
V.~Kathail.
\newblock {\em {Optimal Interpreters for Lambda-calculus Based Funtional
  Languages}}.
\newblock PhD thesis, Dept. of Electrical Engineering and Computer Science,
  MIT, Cambridge, MA, May 1990.

\bibitem{Klop91}
J.~Kennaway, J.~Klop, M.~Sleep, and F.~de~Vries.
\newblock {Transfinite Reductions in Orthogonal Term Rewriting Systems}.
\newblock In {\em Proc. RTA '91, Springer-Verlag LNCS}, 1991.

\bibitem{Kennaway90}
R.~Kennaway.
\newblock {Implementing Term Rewrite Languages in Dactl}.
\newblock {\em Theoretical Computer Science}, Vol. 1, 1990.

\bibitem{Lamping90}
J.~Lamping.
\newblock An algorithm for optimal lambda calculus reduction.
\newblock In {\em Proc. ACM Conference on Principles of Programming Languages,
  San Francisco, CA}, January 1990.

\bibitem{Levy78b}
J.-J. L\'{e}vy.
\newblock {\em {R\'{e}ductions Correctes et Optimales dans le Lambda-Calcul}}.
\newblock PhD thesis, Universite Paris VII, Paris, France, October 1978.

\bibitem{Nikhil90c}
R.~S. Nikhil.
\newblock {Id (Version 90.0) Reference Manual}.
\newblock Technical Report CSG Memo 284-a, Laboratory for Computer Science,
  MIT, Cambridge, MA, USA, July 1990.

\bibitem{Wadsworth}
C.~Wadsworth.
\newblock {\em {Semantics And Pragmatics Of The Lambda-Calculus}}.
\newblock PhD thesis, University of Oxford, Oxford, UK, September 1971.

\bibitem{Welch75}
P.~Welch.
\newblock {Continuous Semantics and Inside-out Reductions}.
\newblock In {\em $\lambda$-Calculus and Computer Science Theory, Italy,
  Springer-Verlag LNCS 37}, March 1975.

\end{thebibliography}
