Gregor von Bochmann Eduard Cerny George Walter Gerber Rachida Dssouli Michel Maksud B. H. Phan Behçet Sarikaya Jean-Marc Serre Use of Formal Specifications for Protocol Design, Implementation and Testing. 137-144 1984 conf/pstv/1984 PSTV db/conf/pstv/pstv1984.html#BochmannCGDMPSS84