\begin{thebibliography}{10}

\bibitem{Ariola89a}
Z.~M. Ariola and Arvind.
\newblock {P-TAC: A Parallel Intermediate Language}.
\newblock In {\em Proceedings of the Fourth Conference on Functional
  Programming Languages and Computer Architecture, London}, pages 230--242,
  September 1989.

\bibitem{ArvindBrock}
Arvind and J.~D. Brock.
\newblock {Resource Managers in Functional Programming}.
\newblock {\em Journal of Parallel and Distributed Computing}, 1(1), June 1984.

\bibitem{ArvindAssessing}
Arvind, D.~Culler, and G.~Maa.
\newblock {Assessing the Benefits of Fine-Grained Parallelism in Dataflow
  Programs}.
\newblock {\em International Journal of Supercomputing Applications}, 2(3),
  1988.

\bibitem{Arvind77a}
Arvind, K.~P. Gostelow, and W.~Plouffe.
\newblock {Indeterminacy, Monitors and Dataflow}.
\newblock {\em Operating Systems Review (Proceedings of the Sixth ACM Symposium
  on Operating Systems Principles)}, 11(5), November 1977.

\bibitem{Arvind89b}
Arvind, R.~S. Nikhil, and K.~K. Pingali.
\newblock {I-Structures: Data Structures for Parallel Computing}.
\newblock {\em ACM Transactions on Programming Languages and Systems},
  11(4):598--632, October 1989.

\bibitem{Burton}
F.~W. Burton.
\newblock {Encapsulating Non-determinacy in an Abstract Type with Determinate
  Semantics}.
\newblock {\em Journal of Functional Programming}, 1(1), January 1991.

\bibitem{Clack86a}
C.~Clack and S.~L. {Peyton Jones}.
\newblock {The Four-Stroke Reduction Engine}.
\newblock In {\em Proceedings of the 1986 ACM Conference on Lisp and Functional
  Programming, Cambridge, Mass.}, pages 220--232, August 4-6 1986.

\bibitem{Halstead85}
R.~H. Halstead.
\newblock {Multilisp: A Language for Concurrent Symbolic Computation}.
\newblock {\em ACM Transactions on Programming Languages and Systems},
  7(4):501--539, October 1985.

\bibitem{Monitors}
C.~A.~R. Hoare.
\newblock {Monitors: An Operating System Structuring Concept}.
\newblock {\em Communications of the ACM}, 10(10):549--557, October 1974.

\bibitem{Hudak87}
P.~Hudak.
\newblock {A Semantic Model of Reference Counting and Its Abstraction}.
\newblock In S.~Abramsky and C.~Hankin, editors, {\em Abstract Interpretation
  of Declarative Languages}, Computers and Their Applications, chapter~3, pages
  45--62. Ellis Horwood Limited, Chichester, West Sussex, England, 1987.

\bibitem{Hudak90a}
P.~Hudak and P.~Wadler~(editors).
\newblock {Report on the Programming Language {H}askell, A Non-strict Purely
  Functional Language ({V}ersion 1.0)}.
\newblock Technical Report YALEU/DCS/RR777, Yale University, Department of
  Computer Science, Apr. 1990.

\bibitem{Estructures}
J.~Milewski.
\newblock {Functional Data Structures as Updatable Objects}.
\newblock {\em IEEE Transactions on Software Engineering}, 16(12):1427--1432,
  December 1990.

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

\bibitem{Nikhil90e}
R.~S. Nikhil.
\newblock {The Parallel Programming Language Id and its Compilation for
  Parallel Machines}.
\newblock In {\em Proc. Workshop on Massive Parallelism, Amalfi, Italy, October
  1989}. Academic Press, 1990 (to appear).

\bibitem{Nikhil90a}
R.~S. Nikhil and Arvind.
\newblock {\em {Programming in {\it Id\/}: a parallel programming language}}.
\newblock 1990.
\newblock Textbook on implicit parallel programming. In preparation.

\bibitem{Papadopoulos90a}
G.~M. Papadopoulos and D.~E. Culler.
\newblock {Monsoon: An Explicit Token Store Architecture}.
\newblock In {\em Proc. 17th. Intl. Symp. on Computer Architecture, Seattle,
  WA}, May 1990.

\bibitem{Stoye86}
W.~Stoye.
\newblock {Message-Based Functional Operating Systems}.
\newblock {\em Science of Computer Programming}, 6:291--311, 1986.

\bibitem{Traub88a}
K.~R. Traub.
\newblock {Sequential Implementation of Lenient Programming Languages}.
\newblock Technical Report TR-417, MIT Laboratory for Computer Science, 545
  Technology Square, Cambridge, MA 02139, May 1988.
\newblock Ph.D. thesis.

\bibitem{Turner87a}
D.~Turner.
\newblock {Functional Programming and Communicating Processes}.
\newblock In {\em Proceedings of PARLE: Parallel Architectures and Languages,
  Europe, Volume II, Eindhoven, The Netherlands, Springer-Verlag Lecture Notes
  In Computer Science, Volume 259}, pages 54--74, June 1987.

\end{thebibliography}
