@inbook{Klein_12,
    author           = {Klein, Gerwin},
    booktitle        = {Software Safety and Security: Tools for Analysis and Verification},
    editor           = {{T. Nipkow, O. Grumberg, B. Hauptmann, G. Kalus}},
    isbn             = {978-1-61499-027-7},
    keywords         = {isabelle, semantics},
    month            = apr,
    pages            = {85--125},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/5371.pdf},
    publisher        = {IOS Press},
    series           = {NATO Science for Peace and Security Series},
    title            = {Interactive Proof: Applications to Semantics},
    year             = {2012}
  }