@article{Norrish_09,
    title            = {Rewriting Conversions Implemented with Continuations},
    month            = oct,
    keywords         = {interactive theorem-proving, rewriting, continuations, functional programming},
    journal          = {Journal of Automated Reasoning},
    volume           = {43},
    number           = {3},
    author           = {Norrish, Michael},
    year             = {2009},
    pages            = {305--336},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/1481.pdf}
  }