Formalisation et vérification de l'interopérabilité dans les systèmes de communication. (Formalisation and verification of interoperability in communication systems). - Mohand Lyazid Benkhellat (1995)