@article{MaSt:02,
  volume = {179},
  year = {2002},
  number = {2},
  journal = {Inform.~and Comp.},
  author = {M. Hofmann and T. Streicher},
  title = {Completeness of continuation models for $\lambda\mu$-calculus},
  pages = {332-355},
}