Use of Formal Specifications for Protocol Design, Implementation and Testing. - Gregor von Bochmann; Eduard Cerny; George Walter Gerber; Rachida Dssouli; Michel Maksud; B. H. Phan; Behçet Sarikaya; Jean-Marc Serre (PSTV, 1984)

Semiautomatic Implementation of Communication Protocols. - Gregor von Bochmann; George Walter Gerber; Jean-Marc Serre (IEEE Trans. Software Eng., 1987)

Implementing OSI-based interfaces for network management. - Jean-Marc Serre; Pierre Lewis; Ken Rosenfeld (IEEE Commun. Mag., 1993)