1 @Book{Nipkow-Paulson-Wenzel:2002,
2 author = {Tobias Nipkow and Lawrence C. Paulson and Markus Wenzel},
3 title = {{Isabelle/HOL} --- A Proof Assistant for Higher-Order Logic},
4 publisher = {Springer},
10 author = {Florian Haftmann and Cezary Kaliszyk and Walther Neuper},
11 title = {{CTP}-based programming languages~? Considerations about an experimental design},
12 journal = {ACM Communications in Computer Algebra},
17 doi = {10.1145/1838599.1838621}
21 title = {The {Isabelle/Isar} Implementation},
22 author = {Makarius Wenzel},
25 note = {With contributions by Florian Haftmann and Larry Paulson}