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