1. Protocol Description and Implementation Language (PDIL);Ansart,1982
2. LC/1A Specification and Implementation Language for Protocols;Ayache,1983
3. Finite State Description of Communication of Protocols;Bochman;Computer Networks,1978
4. A Formal Specification Technique and Implementation Method for Protocols;Tenney;Computer Networks,1982