@INPROCEEDINGS{PrevostoTPHOL02,
  AUTHOR = {Virgile Prevosto and Damien Doligez and Th\'er\`ese Hardin},
  TITLE = {Algebraic Structures and Dependent Records},
  BOOKTITLE = {Proceedings of TPHOLs 02},
  YEAR = 2002,
  EDITOR = {C\'esar Mu\~noz, Sofi\`ene Tahar and V\'ictor Carre\~eo},
  MONTH = {August},
  PUBLISHER = {Springer-Verlag}
}