@article{bove/capretta:2005b,
  author      = "Ana Bove and Venanzio Capretta",
  title       = "Modelling general recursion in type theory",
  journal     = "Mathematical Structures in Computer Science",
  volume      = 15,
  number      = 4,
  pages       = "671-708",
  publisher   = "Cambridge University Press",
  month       = aug,
  year        = 2005
}