Jean-Pierre Ansart, V. Chari, D. Simon From Formal Description to Automated Implementation using PDIL (Protocol Description and Implementation Language). [Citation Graph (0, 0)][DBLP] Protocol Specification, Testing, and Verification, 1983, pp:381-390 [Conf]