D. Parigot, G. Roussel, M. Jourdan, and E. Duris. Int. Symp. on Progr. Languages, Implementations, Logics and Programs
(PLILP'96), volume 1140 of Lect. Notes in Comp. Sci., page 122--136. Aachen, Springer-Verlag, (September 1996)ftp://ftp-sop.inria.fr/smartool/Didier.Parigot/publications/plilp96.ps.gz.
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.