Pierre Azéma, Jean-Michel Ayache, Bernard Berthomieu: Design and Verification of Communication Procedures: A Bottom-Up Approach. ICSE 1978: 168-174