@Inproceedings{bulwahn-etal-imfphol-08, author = "Lukas Bulwahn and Alexander Krauss and Florian Haftmann and Levent {Erk\"{o}k} and John Matthews", title = "Imperative Functional Programming with {I}sabelle/{HOL}", booktitle = "Theorem Proving in Higher Order Logics, 21th International Conference, TPHOLs 2008, Montreal, Canada.", publisher = "Springer", month = aug, pages = "134-149", year = "2008", series = {LNCS}, volume = 5170, }