PDIL-Protocol Description and Implementation Language. - Jean-Pierre Ansart; Omar Rafiq; V. Chari (PSTV, 1982)

From Formal Description to Automated Implementation using PDIL (Protocol Description and Implementation Language). - Jean-Pierre Ansart; V. Chari; D. Simon (Protocol Specification, Testing, and Verification, 1983)

Description, simulation and implementation of communication protocols using PDIL. - Jean-Pierre Ansart; V. Chari; M. Neyer; Omar Rafiq; D. Simon (SIGCOMM, 1983)

An approach for evaluating formal description techniques. - Ari Ahtiainen; S. Alfonzetti; V. Chari; Mats Daniels; Michel Diaz; Alberto Faro; Hans A. Hansson; Guy Juanole; Ulla Karjalainen; Gesualdo Le Moli; Juhani Malka; Sergio Palazzo; et al. (PSTV, 1985)