A Tool for Communication Protocols Validation. - Georges Mitaut; Daniel Duclos (IFIP Congress, 1983)