@article{AriolaHerbelin07,
  author      = {Zena M. Ariola and Hugo Herbelin},
  title       = {Control Reduction Theories: the Benefit of Structural
                 Substitution},
  journal     = {Journal of Functional Programming},
  publisher   = {Cambridge University Press},
  year        = {2008},
  volume      = {18},
  number      = {3},
  month       = {May},
  pages       = {373-419},
  doi         = {10.1017/S0956796807006612}
}