@string{LNCS="Lecture Notes in Computer Science"}
@string{Springer="Springer-Verlag"}
@inproceedings{Bulwahn-et-al:2008:imp_HOL,
author = {Lukas Bulwahn and Alexander Krauss and Florian Haftmann and Levent Erk{\"o}k and John Matthews},
title = {Imperative Functional Programming with {Isabelle/HOL}},
booktitle = {TPHOLs '08: Proceedings of the 21th International Conference on Theorem Proving in Higher Order Logics},
year = {2008},
isbn = {978-3-540-71065-3},
pages = {352--367},
publisher = Springer,
series = LNCS,
volume = {5170},
editor = {Otmane A\"{\i}t Mohamed and C{\'e}sar Mu{\~n}oz and Sofi{\`e}ne Tahar}
}
@book{Nipkow-et-al:2002:tutorial,
author = {T. Nipkow and L. C. Paulson and M. Wenzel},
title = {{Isabelle/HOL} --- A Proof Assistant for Higher-Order Logic},
series = LNCS,
volume = 2283,
year = 2002,
publisher = Springer
}