1.1 --- /dev/null Thu Jan 01 00:00:00 1970 +0000
1.2 +++ b/src/Doc/isac/mlehnfeld/bib.bib Sun Jul 14 14:48:14 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 +}