@article{BCP:2003,
  author      = "Gilles Barthe and Venanzio Capretta and Olivier Pons",
  title       = "Setoids in type theory",
  journal     = "Journal of Functional Programming",
  volume      = 13,
  number      = 2,
  pages       = "261-293",
  publisher   = "Cambridge University Press",
  year        = 2003
}