D. Parigot, E. Duris, G. Roussel, and M. Jourdan. Journées Francophones des Langages Applicatifs, page 263--279. Val-Morin, Qu�bec, (January 1996)ftp://ftp-sop.inria.fr/smartool/Didier.Parigot/publications/jfla96.ps.gz.
E. Duris, D. Parigot, G. Roussel, and M. Jourdan. Journées Francophones des Langages Applicatifs, Dolomieu, France, (January 1997)ftp://ftp-sop.inria.fr/smartool/Didier.Parigot/publications/jfla97.ps.gz.