@string{LNCS="Lect.\ Notes in Comp.\ Sci."}@string{Springer="Springer-Verlag"}@book{LNCS2283,author={Tobias Nipkow and Lawrence Paulson and Markus Wenzel},title="Isabelle/HOL --- A Proof Assistant for Higher-Order Logic",publisher=Springer,series=LNCS,volume=2283,year=2002}