Some Experience with the Use of Formal Specifications. - Gregor von Bochmann; Eduard Cerny; Michel Gagné; Claude Jard; Alain Léveillé; Clement Lacaille; Michel Maksud; K. S. Raghunathan; Behçet Sarikaya (PSTV, 1982)

Experience with Formal Specifications Using an Extended State Transition Model. - Gregor von Bochmann; Eduard Cerny; Michel Gagné; Claude Jard; Alain Léveillé; Clement Lacaille; Michel Maksud; K. S. Raghunathan; Behçet Sarikaya (IEEE Trans. Commun., 1982)

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)