@Unpublished{Bauer-et-al:
2002:HOL-Library,
author = {Gertrud Bauer and Tobias Nipkow and Oheimb, David von and
Lawrence C Paulson and Thomas M Rasmussen and Christophe Tabacznyj and
Markus Wenzel},
title = {The Supplemental {Isabelle/HOL} Library},
note = {
\url{
https://isabelle.in.tum.de/library/HOL/Library/document.pdf}},
year =
2002
}
@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{
https://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:
2002:isar-ref,
author = {Markus Wenzel},
title = {The {Isabelle/Isar} Reference Manual},
year =
2002,
institution = {TU Munich},
note = {
\url{
https://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}
