@article{ReSt:98,
  year = {1998},
  volume = {8},
  author = {B. Reus and T. Streicher},
  journal = {J.~Funct.~Prog.},
  number = {6},
  pages = {543-572},
  title = {Classical logic, continuation semantics and abstract machines},
}