A tool for specification and semi-automatic implementation. - Christine Rieu; Jean-Jacques Mercier; Marie-Claude Vialatte (ICCC, 1988)

OSI application layer standards analysis for a distributed application implementation. - Cong Tin Nguyen; Marie-Claude Vialatte; Christine Rieu (LCN, 1989)

Formal Specification, Validation and Implementation of an Application Protocol with Estelle. - C. T. Nguyen; P. Hunel; Marie-Claude Vialatte (FORTE, 1991)

Application Context Definition for a Specific Application Layer Protocol and Rapid Prototyping with Estelle. - C. T. Nguyen; P. Hunel; Marie-Claude Vialatte (ULPAA, 1992)