@article{capretta/valentini:1999,
  author      = "Venanzio Capretta and Silvio Valentini",
  title       = "A general method for proving the normalization theorem
                 for first and second order typed $\lambda$-calculi",
  journal     = "Mathematical Structures in Computer Science",
  volume      = 9,
  pages       = "719--739",
  publisher   = "Cambridge University Press",
  year        = 1999,
  month       = dec
}