@inproceedings { brc03lmo, author = { A. Bailly and I. Ryl and M. Clerbout }, title = { FIDL. Spécifications formelles en ID. }, journal = { Proc. of Langages et Modèles à Objets (LMO'03) }, year = { 2003 }, }