src/HOL/Unix/document/root.bib
author haftmann
Fri Jun 19 07:53:35 2015 +0200 (2015-06-19)
changeset 60517 f16e4fb20652
parent 13381 60bc63b13857
child 68649 f849fc1cb65e
permissions -rw-r--r--
separate class for notions specific for integral (semi)domains, in contrast to fields where these are trivial
     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{http://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{http://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{http://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}