neuper@42035: @Book{Nipkow-Paulson-Wenzel:2002,
neuper@42035:   author	= {Tobias Nipkow and Lawrence C. Paulson and Markus Wenzel},
neuper@42035:   title		= {{Isabelle/HOL} --- A Proof Assistant for Higher-Order Logic},
neuper@42035:   publisher	= {Springer},
neuper@42035:   series	= {LNCS},
neuper@42035:   volume	= 2283,
neuper@42035:   year		= 2002}
neuper@42035: 
neuper@42035: @Article{plmms10,
neuper@42035:   author = 	 {Florian Haftmann and Cezary Kaliszyk and Walther Neuper},
neuper@42035:   title = 	 {{CTP}-based programming languages~? Considerations about an experimental design},
neuper@42035:   journal = 	 {ACM Communications in Computer Algebra},
neuper@42035:   year = 	 {2010},
neuper@42035:   volume = 	 {44},
neuper@42035:   number = 	 {1/2},
neuper@42035:   pages = 	 {27-41},
neuper@42035:   doi =          {10.1145/1838599.1838621}
neuper@42035: }
neuper@42035: 
neuper@42035: @Manual{isar-impl,
neuper@42035:   title = 	 {The {Isabelle/Isar} Implementation},
neuper@42035:   author = 	 {Makarius Wenzel},
neuper@42035:   month = 	 {30 January},
neuper@42035:   year = 	 {2011},
neuper@42035:   note = 	 {With contributions by Florian Haftmann and Larry Paulson}
neuper@42035: }