src/HOL/Unix/document/root.bib

*** empty log message ***

@Unpublished{Bauer-et-al:2001:HOL-Library,
  author = 	 {Gertrud Bauer and Tobias Nipkow and Lawrence C Paulson and
                  Thomas M Rasmussen and Markus Wenzel},
  title = 	 {The Supplemental {Isabelle/HOL} Library},
  note = 	 {\url{http://isabelle.in.tum.de/library/HOL/Library/document.pdf}},
  year =	 2001
}

@PhdThesis{Naraschewski:2001,
  author = 	 {Wolfgang Naraschewski},
  title = 	 {Teams as Types --- A Formal Treatment of Authorization in Groupware},
  school = 	 {TU M\"unchen},
  year = 	 2001,
  note =	 "Submitted"}

@Manual{Nipkow-et-al:2000:HOL,
  author        = {Tobias Nipkow and Lawrence C. Paulson and Markus Wenzel},
  title         = {{Isabelle}'s Logics: {HOL}},
  institution   = {Institut f\"ur Informatik, Technische Universi\"at
                  M\"unchen and Computer Laboratory, University of Cambridge},
  year          = 2000,
  note          = {\url{http://isabelle.in.tum.de/doc/logics-HOL.pdf}}
}

@Book{Tanenbaum:1992,
  author =	 {Andrew S. Tanenbaum},
  title = 	 {Modern Operating Systems},
  publisher = 	 {Prentice-Hall},
  year = 	 1992
}


@Misc{Torvalds-et-al:Linux,
  author =	 {Linus Torvalds and others},
  title =	 {The {L}inux Kernel Archives},
  note =	 {\url{http://www.kernel.org}}
}


@Misc{Unix-heritage,
  key =		 {Unix},
  title =	 {The {Unix} Heritage Society},
  note =	 {\url{http://minnie.cs.adfa.edu.au/TUHS/}}
}

@InProceedings{Wenzel:1999:TPHOL,
  author =       {Markus Wenzel},
  title =        {{Isar} --- a Generic Interpretative Approach to Readable Formal Proof Documents},
  crossref =     {tphols99}}


@Manual{Wenzel:2000:isar-ref,
  author        = {Markus Wenzel},
  title         = {The {Isabelle/Isar} Reference Manual},
  year          = 2000,
  institution   = {TU Munich},
  note          = {\url{http://isabelle.in.tum.de/doc/isar-ref.pdf}}
}

@Proceedings{tphols99,
  title         = {Theorem Proving in Higher Order Logics: {TPHOLs} '99},
  booktitle     = {Theorem Proving in Higher Order Logics: {TPHOLs} '99},
  editor        = {Bertot, Y. and Dowek, G. and Hirschowitz, A. and
                  Paulin, C. and Thery, L.},
  series        = {LNCS},
  volume        = 1690,
  year          = 1999}