src/HOL/Imperative_HOL/document/root.bib

modernized header;

@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
}