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