1. "Reference manual for the ADA programming language", United States Department of Defence, Nov. 1980.
2. B. Algayres, "Sur la modélisation, la validation et l'implémentation d'un protocole de transport", Thèse de Docteur-Ingénieur, INSA,,no84, Toulouse, Dec. 1982.
3. B. Berthomieu, "Analyse structurelle des réseaux de Petri" Thèse de Docteur-Ingénieur, UPS, Toulouse, Sept. 1979.
4. G.V. BOCHMAN, "Finite state description of communication protocols", Computer Networks, vol. 2, Oct. 1978.
5. J. Bremer, "Modèle formel pour la modélisation et la vérification des protocoles de réseaux d'ordinateurs", Thèse de Doctorat ès-Sciences Appliquées, Liège, 1978.