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