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)

Fault-Tolerant Distributed Database for Supervisory Control Systems. - Antonio Joaquim S. R. Silva; George Walter Gerber (Datenbank Rundbr., 1991)