+@bibdfn{Christopher}
+W.@: A.@: Christopher, S.@: J.@: Procter, T.@: E.@: Anderson,
+@cite{The Nachos instructional operating system}.
+Proceedings of the @acronym{USENIX} Winter 1993 Conference.
+@uref{http://portal.acm.org/citation.cfm?id=1267307}.
+
+@bibdfn{Dijkstra}
+E.@: W.@: Dijkstra, @cite{The structure of the ``THE''
+multiprogramming system}. Communications of the ACM 11(5):341--346,
+1968. @uref{http://doi.acm.org/10.1145/363095.363143}.
+
+@bibdfn{Hoare}
+C.@: A.@: R.@: Hoare, @cite{Monitors: An Operating System
+Structuring Concept}. Communications of the ACM, 17(10):549--557,
+1974. @uref{http://www.acm.org/classics/feb96/}.
+
+@bibdfn{Lampson}
+B.@: W.@: Lampson, D.@: D.@: Redell, @cite{Experience with processes and
+monitors in Mesa}. Communications of the ACM, 23(2):105--117, 1980.
+@uref{http://doi.acm.org/10.1145/358818.358824}.
+
+@bibdfn{McKusick}