X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fbibliography.texi;fp=doc%2Fbibliography.texi;h=a23c4c74e997ac4b1c4a5e0eb1a8cd282bb2e481;hb=d158a7cd545fa8dd35dba91935029465eedff0da;hp=76007f08a56f0e424320bfb08883af0c29681f1a;hpb=594421de07283cdf4cce7226eb2c468c7ea2fedd;p=pintos-anon

diff --git a/doc/bibliography.texi b/doc/bibliography.texi
index 76007f0..a23c4c7 100644
--- a/doc/bibliography.texi
+++ b/doc/bibliography.texi
@@ -105,6 +105,12 @@ Interface---DRAFT---24 April 2001}.  A draft of a revised version of
 @node Operating System Design References
 @section Operating System Design References
 
+@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,