@Article{Norrish09:CPS-Convs,
  author =       {Michael Norrish},
  title =        {Rewriting Conversions Implemented with Continuations},
  journal =      {Journal of Automated Reasoning},
  year =         2009,
  volume =    43,
  number =    3,
  pages =     {305--336},
  month =     {October}
}