1
2@Unpublished{Bauer-et-al:2002:HOL-Library,
3  author = 	 {Gertrud Bauer and Tobias Nipkow and Oheimb, David von and
4                  Lawrence C Paulson and Thomas M Rasmussen and Christophe Tabacznyj and
5                  Markus Wenzel},
6  title = 	 {The Supplemental {Isabelle/HOL} Library},
7  note = 	 {\url{https://isabelle.in.tum.de/library/HOL/Library/document.pdf}},
8  year =	 2002
9}
10
11@PhdThesis{Naraschewski:2001,
12  author = 	 {Wolfgang Naraschewski},
13  title = 	 {Teams as Types --- A Formal Treatment of Authorization in Groupware},
14  school = 	 {TU M\"unchen},
15  year = 	 2001,
16  note =	 "Submitted"}
17
18@Manual{Nipkow-et-al:2000:HOL,
19  author        = {Tobias Nipkow and Lawrence C. Paulson and Markus Wenzel},
20  title         = {{Isabelle}'s Logics: {HOL}},
21  institution   = {Institut f\"ur Informatik, Technische Universi\"at
22                  M\"unchen and Computer Laboratory, University of Cambridge},
23  year          = 2000,
24  note          = {\url{https://isabelle.in.tum.de/doc/logics-HOL.pdf}}
25}
26
27@Book{Tanenbaum:1992,
28  author =	 {Andrew S. Tanenbaum},
29  title = 	 {Modern Operating Systems},
30  publisher = 	 {Prentice-Hall},
31  year = 	 1992
32}
33
34
35@Misc{Torvalds-et-al:Linux,
36  author =	 {Linus Torvalds and others},
37  title =	 {The {L}inux Kernel Archives},
38  note =	 {\url{http://www.kernel.org}}
39}
40
41
42@Misc{Unix-heritage,
43  key =		 {Unix},
44  title =	 {The {Unix} Heritage Society},
45  note =	 {\url{http://minnie.cs.adfa.edu.au/TUHS/}}
46}
47
48@InProceedings{Wenzel:1999:TPHOL,
49  author =       {Markus Wenzel},
50  title =        {{Isar} --- a Generic Interpretative Approach to Readable Formal Proof Documents},
51  crossref =     {tphols99}}
52
53
54@Manual{Wenzel:2002:isar-ref,
55  author        = {Markus Wenzel},
56  title         = {The {Isabelle/Isar} Reference Manual},
57  year          = 2002,
58  institution   = {TU Munich},
59  note          = {\url{https://isabelle.in.tum.de/doc/isar-ref.pdf}}
60}
61
62@Proceedings{tphols99,
63  title         = {Theorem Proving in Higher Order Logics: {TPHOLs} '99},
64  booktitle     = {Theorem Proving in Higher Order Logics: {TPHOLs} '99},
65  editor        = {Bertot, Y. and Dowek, G. and Hirschowitz, A. and
66                  Paulin, C. and Thery, L.},
67  series        = {LNCS},
68  volume        = 1690,
69  year          = 1999}
70