doc-src/manual.bib
changeset 6745 74e8f703f5f2
parent 6670 4921b1f8ff92
child 7041 48a66203192c
equal deleted inserted replaced
6744:9727e83f0578 6745:74e8f703f5f2
   174   publisher	= Prentice,
   174   publisher	= Prentice,
   175   year		= 1986}
   175   year		= 1986}
   176 
   176 
   177 %D
   177 %D
   178 
   178 
   179 @Book{davey&priestley,
   179 @Book{davey-priestley,
   180   author	= {B. A. Davey and H. A. Priestley},
   180   author	= {B. A. Davey and H. A. Priestley},
   181   title		= {Introduction to Lattices and Order},
   181   title		= {Introduction to Lattices and Order},
   182   publisher	= CUP,
   182   publisher	= CUP,
   183   year		= 1990}
   183   year		= 1990}
   184 
   184 
   459   school	= {University of Edinburgh},
   459   school	= {University of Edinburgh},
   460   year		= 1984}
   460   year		= 1984}
   461 
   461 
   462 @article{MuellerNvOS99,
   462 @article{MuellerNvOS99,
   463 author=
   463 author=
   464 {Olaf M\"uller and Tobias Nipkow and Oheimb, David von and Oskar Slotosch},
   464 {Olaf M\"uller and Tobias Nipkow and Oheimb, David von and Oscar Slotosch},
   465 title={{HOLCF = HOL + LCF}},journal=JFP,year=1999}
   465 title={{HOLCF = HOL + LCF}},journal=JFP,year=1999}
   466 
   466 
   467 %N
   467 %N
   468 
   468 
   469 @InProceedings{NaraschewskiW-TPHOLs98,
   469 @InProceedings{NaraschewskiW-TPHOLs98,
   509 @InProceedings{nipkow-patterns,
   509 @InProceedings{nipkow-patterns,
   510   title		= {Functional Unification of Higher-Order Patterns},
   510   title		= {Functional Unification of Higher-Order Patterns},
   511   author	= {Tobias Nipkow},
   511   author	= {Tobias Nipkow},
   512   pages		= {64-74},
   512   pages		= {64-74},
   513   crossref	= {lics8},
   513   crossref	= {lics8},
   514   url		= {ftp://ftp.informatik.tu-muenchen.de/local/lehrstuhl/nipkow/lics93.html},
   514   url		= {\url{ftp://ftp.informatik.tu-muenchen.de/local/lehrstuhl/nipkow/lics93.html}},
   515   keywords	= {unification}}
   515   keywords	= {unification}}
   516 
   516 
   517 @article{nipkow-IMP,
   517 @article{nipkow-IMP,
   518   author	= {Tobias Nipkow},
   518   author	= {Tobias Nipkow},
   519   title		= {Winskel is (almost) Right: Towards a Mechanized Semantics Textbook},
   519   title		= {Winskel is (almost) Right: Towards a Mechanized Semantics Textbook},
   558 @Manual{pvs-language,
   558 @Manual{pvs-language,
   559   title		= {The {PVS} specification language},
   559   title		= {The {PVS} specification language},
   560   author	= {S. Owre and N. Shankar and J. M. Rushby},
   560   author	= {S. Owre and N. Shankar and J. M. Rushby},
   561   organization	= {Computer Science Laboratory, SRI International},
   561   organization	= {Computer Science Laboratory, SRI International},
   562   address	= {Menlo Park, CA},
   562   address	= {Menlo Park, CA},
   563   note		= {Beta release},
   563   note          = {Beta release},
   564   year		= 1993,
   564   year		= 1993,
   565   month		= apr,
   565   month		= apr,
   566   url		= {\url{http://www.csl.sri.com/reports/pvs-language.dvi.Z}}}
   566   url		= {\url{http://www.csl.sri.com/reports/pvs-language.dvi.Z}}}
   567 
   567 
   568 %P
   568 %P
   695   journal	= JAR,
   695   journal	= JAR,
   696   volume	= 11,
   696   volume	= 11,
   697   number	= 3,
   697   number	= 3,
   698   pages		= {353-389},
   698   pages		= {353-389},
   699   year		= 1993,
   699   year		= 1993,
   700   url		= {ftp://ftp.cl.cam.ac.uk/ml/set-I.ps.gz}}
   700   url		= {\url{ftp://ftp.cl.cam.ac.uk/ml/set-I.ps.gz}}}
   701 
   701 
   702 @Article{paulson-set-II,
   702 @Article{paulson-set-II,
   703   author	= {Lawrence C. Paulson},
   703   author	= {Lawrence C. Paulson},
   704   title		= {Set Theory for Verification: {II}.  {Induction} and
   704   title		= {Set Theory for Verification: {II}.  {Induction} and
   705 		 Recursion},
   705 		 Recursion},
   851 %V
   851 %V
   852 
   852 
   853 @Unpublished{voelker94,
   853 @Unpublished{voelker94,
   854   author	= {Norbert V\"olker},
   854   author	= {Norbert V\"olker},
   855   title		= {The Verification of a Timer Program using {Isabelle/HOL}},
   855   title		= {The Verification of a Timer Program using {Isabelle/HOL}},
   856   url		= {ftp://ftp.fernuni-hagen.de/pub/fachb/et/dvt/projects/verification/timer.tar.gz},
   856   url		= {\url{ftp://ftp.fernuni-hagen.de/pub/fachb/et/dvt/projects/verification/timer.tar.gz}},
   857   year		= 1994,
   857   year		= 1994,
   858   month		= aug}
   858   month		= aug}
   859 
   859 
   860 %W
   860 %W
   861 
   861