\begin{thebibliography}{10}

\bibitem{m3-Bar88}
Joel~F. Bartlett.
\newblock Compacting garbage collection with ambiguous roots.
\newblock WRL Research Report 88/2, Western Research Laboratory, Digital
  Equipment Corporation, Palo Alto, February 1988.

\bibitem{m3-BGH*87}
A.~D. Birrell, J.~V. Guttag, J.~J. Horning, and R.~Levin.
\newblock Synchronization primitives for a multiprocessor: A formal
  specification.
\newblock SRC report~20, System Research Center, Digital Equipment Corporation,
  Palo Alto, August 1987.

\bibitem{m3-Bir89}
Andrew~D. Birrell.
\newblock An introduction to programming with threads.
\newblock SRC report~35, System Research Center, Digital Equipment Corporation,
  Palo Alto, January 1989.

\bibitem{m3-BC90}
Gilad Bracha and William Cook.
\newblock Mixin-based inheritance.
\newblock In {\em Proceedings of the Conference on Object-Oriented Programming:
  Systems, Languages, and Applications; European Conference on Object-Oriented
  Programming}, pages 303--311, October 1990.

\bibitem{FormsVBT}
Marc~H. Brown and James~R. Meehan.
\newblock The formsvbt reference manual.
\newblock SRC report~??, System Research Center, Digital Equipment Corporation,
  Palo Alto, July 1992.

\bibitem{m3-BN89}
Mark~R. Brown and Greg Nelson.
\newblock {IO} streams: Abstract types, real programs.
\newblock SRC report~53, System Research Center, Digital Equipment Corporation,
  Palo Alto, November 1989.

\bibitem{m3-CDG*89}
Luca Cardelli, James Donahue, Lucille Glassman, Mick Jordan, Bill Kalsow, and
  Greg Nelson.
\newblock Modula-3 report (revised).
\newblock SRC report~52, System Research Center, Digital Equipment Corporation,
  Palo Alto, November 1989.

\bibitem{m3-popl}
Luca Cardelli, James Donahue, Mick Jordan, Bill Kalsow, and Greg Nelson.
\newblock The modula-3 type system.
\newblock In {\em Conference Record of the Sixteenth Annual ACM Symposium on
  Principles of Programming Languages (POPL)}, pages 202--212, January 1989.

\bibitem{m3-Har90}
Sam Harbison.
\newblock Modula-3.
\newblock {\em Byte}, 15(12):385--392, November 1990.

\bibitem{m3-Har92DDJ}
Sam Harbison.
\newblock Safe programming with modula-3.
\newblock {\em Dr. Dobb's Journal}, 17(10):88--96, October 1992.

\bibitem{m3-Har92}
Samuel~P. Harbison.
\newblock {\em Modula-3}.
\newblock Prentice Hall, 1992.

\bibitem{Trestle}
Mark~S. Manasse and Greg Nelson.
\newblock Trestle reference manual.
\newblock SRC report~68, System Research Center, Digital Equipment Corporation,
  Palo Alto, December 1991.

\bibitem{TrestleTutorial}
Mark~S. Manasse and Greg Nelson.
\newblock Trestle tutorial.
\newblock SRC report~69, System Research Center, Digital Equipment Corporation,
  Palo Alto, May 1992.

\bibitem{m3-Nel91}
Greg Nelson, editor.
\newblock {\em System Programming with Modula-3}.
\newblock Prentice Hall, 1991.

\end{thebibliography}
