@INPROCEEDINGS{BoulmeJFLA00,
  AUTHOR = {Sylvain Boulm\'e},
  TITLE = {Op\'erateurs de raffinement sur les structures alg\'ebriques},
  BOOKTITLE = {Actes des Journ\'ees Francophones des Langages Applicatifs},
  YEAR = 2000
}