@article{Matichuk_MW_16,
    doi              = {10.1007/s10817-015-9360-2},
    month            = mar,
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/8465.pdf},
    journal          = {Journal of Automated Reasoning},
    year             = {2016},
    keywords         = {isabelle, eisbach, proof automation, sel4, l4.verified},
    volume           = {56},
    title            = {Eisbach: A Proof Method Language for Isabelle},
    number           = {3},
    author           = {Matichuk, Daniel and Murray, Toby and Wenzel, Makarius},
    pages            = {261--282}
  }