X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=blobdiff_plain;f=doc%2Fbibliography.texi;h=efdb05f44c46f7cb9b211296cfdfe8fb00f92b99;hp=360aade33c555ac11da4df9b35bb61fcb403623e;hb=a03618133f7df0954802a470a4bee7674f7aed45;hpb=f415a37905c57f61b444806bf84f5405184452aa

diff --git a/doc/bibliography.texi b/doc/bibliography.texi
index 360aade..efdb05f 100644
--- a/doc/bibliography.texi
+++ b/doc/bibliography.texi
@@ -67,6 +67,10 @@ Datasheet for PC timer chip.
 @uref{specs/8259A.pdf, , Intel 8259A Programmable Interrupt Controller
 (8259A/8259A-2)}.  Datasheet for PC interrupt controller chip.
 
+@bibdfn{MC146818A}
+@uref{specs/mc146818a.pdf, , Motorola MC146818A Real Time Clock Plus
+Ram (RTC)}.  Datasheet for PC real-time clock chip.
+
 @node Software References
 @section Software References
 
@@ -102,10 +106,49 @@ Edition}.  80@var{x}86-specific parts of the Unix interface.
 Interface---DRAFT---24 April 2001}.  A draft of a revised version of
 @bibref{SysV-ABI} which was never completed.
 
+@bibdfn{SUSv3}
+The Open Group, @uref{http://www.unix.org/single_unix_specification/,
+, Single UNIX Specification V3}, 2001.
+
+@bibdfn{Partitions}
+A.@: E.@: Brouwer, @uref{specs/partitions/partition_tables.html, ,
+Minimal partition table specification}, 1999.
+
+@bibdfn{IntrList}
+R.@: Brown, @uref{http://www.ctyme.com/rbrown.htm, , Ralf Brown's
+Interrupt List}, 2000.
+
 @node Operating System Design References
 @section Operating System Design References
 
-@bibdfn{4.4BSD}
+@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}
 M.@: K.@: McKusick, K.@: Bostic, M.@: J.@: Karels, J.@: S.@: Quarterman,
 @cite{The Design and Implementation of the 4.4@acronym{BSD} Operating
-System}.  Addison-Wesley 1996.
+System}.  Addison-Wesley, 1996.
+
+@bibdfn{Wilson}
+P.@: R.@: Wilson, M.@: S.@: Johnstone, M.@: Neely, D.@: Boles,
+@cite{Dynamic Storage Allocation: A Survey and Critical Review}.
+International Workshop on Memory Management, 1995.
+@uref{http://www.cs.utexas.edu/users/oops/papers.html#allocsrv}.