Desing, Implementation and Validation of a Multi-Peer Protocol Using Estelle. - Martine Guilmet; Philippe Thomas; Bruno Traverson (FORTE, 1990)