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)