1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/doc-isac/mlehnfeld/bib.bib	Tue Sep 17 09:50:52 2013 +0200
     1.3 @@ -0,0 +1,26 @@
     1.4 +@Book{Nipkow-Paulson-Wenzel:2002,
     1.5 +  author	= {Tobias Nipkow and Lawrence C. Paulson and Markus Wenzel},
     1.6 +  title		= {{Isabelle/HOL} --- A Proof Assistant for Higher-Order Logic},
     1.7 +  publisher	= {Springer},
     1.8 +  series	= {LNCS},
     1.9 +  volume	= 2283,
    1.10 +  year		= 2002}
    1.11 +
    1.12 +@Article{plmms10,
    1.13 +  author = 	 {Florian Haftmann and Cezary Kaliszyk and Walther Neuper},
    1.14 +  title = 	 {{CTP}-based programming languages~? Considerations about an experimental design},
    1.15 +  journal = 	 {ACM Communications in Computer Algebra},
    1.16 +  year = 	 {2010},
    1.17 +  volume = 	 {44},
    1.18 +  number = 	 {1/2},
    1.19 +  pages = 	 {27-41},
    1.20 +  doi =          {10.1145/1838599.1838621}
    1.21 +}
    1.22 +
    1.23 +@Manual{isar-impl,
    1.24 +  title = 	 {The {Isabelle/Isar} Implementation},
    1.25 +  author = 	 {Makarius Wenzel},
    1.26 +  month = 	 {30 January},
    1.27 +  year = 	 {2011},
    1.28 +  note = 	 {With contributions by Florian Haftmann and Larry Paulson}
    1.29 +}