@INPROCEEDINGS{PrevostoCalculemus03,
  author = {Virgile Prevosto and Mathieu Jaume},
  title = {Making proofs in a hierarchy of mathematical structures},
  booktitle = {Proceedings of Calculemus},
  year = {2003},
  month = sep,
}