@Book{Nipkow-Paulson-Wenzel:2002,

   author	= {Tobias Nipkow and Lawrence C. Paulson and Markus Wenzel},

   title		= {{Isabelle/HOL} --- A Proof Assistant for Higher-Order Logic},

   publisher	= {Springer},

   series	= {LNCS},

   volume	= 2283,

   year		= 2002}

 @Article{plmms10,

   author = 	 {Florian Haftmann and Cezary Kaliszyk and Walther Neuper},

   title = 	 {{CTP}-based programming languages~? Considerations about an experimental design},

   journal = 	 {ACM Communications in Computer Algebra},

   year = 	 {2010},

   volume = 	 {44},

   number = 	 {1/2},

   pages = 	 {27-41},

   doi =          {10.1145/1838599.1838621}

 }

 @Manual{isar-impl,

   title = 	 {The {Isabelle/Isar} Implementation},

   author = 	 {Makarius Wenzel},

   month = 	 {30 January},

   year = 	 {2011},

   note = 	 {With contributions by Florian Haftmann and Larry Paulson}

 }