| [Arnold,89] | Arnold, André. 1989. Automatic Verification of Finite State Systems. Lect. Notes in Comp. Sci., Vol 407, Springer-Verlag. p. 117-132 |
| [Arnold,92] | Arnold, André. 1992. Systèmes de transitions finis et sémantique des processus communicants. Edition Masson. |
| [Arnold-Bégay-Crubillé, 94] | Arnold, André, Didier Bégay et Paul Crubillé. 1994. Construction and analysis of transition systems with MEC. AMAST Series in computing: Vol 3. World Scientific. |
| [Arnold-Brlek,93] | Arnold, André, et Srecko Brlek. 1993. Conception d'un système de gestion d'appels téléphoniques: un exemple d'utilisation de méthodes formelles. Editeur G.V. Bochmann, Actes du CFIP93 , Hermès, p. 149-163. |
| [Arnold-Brlek,95] | Arnold, André, et Srecko Brlek. 1995. Automatic verification of properties in transition systems. Software-Pratice and experience, vol 25(6), p. 579-696. |
| [Arnold-Nivat,82] | Arnold, André, et Maurice Nivat, Comportements de Processus. Colloque AFCET "Les Mathématiques de l'Informatique", p. 35-68. |
| [Borland,94] | Borland. 1994. Microsoft Win16/Win32 API Programmer's Reference. Vient avec le logiciel Borland C++ 4.0. Format: Windows Help File |
| [Brahms,82] | Brams, G.W. 1982. Réseaux de Pétri: théorie et pratique. Masson. Paris. |
| [Brebner,91] | Brebner, G. 1991. A CCS-based investigation of deadlock in a multi-process electronic mail system. TR. CSR-17-91, Dept. Comp. Sci. University of Edinburgh. |
| [Brlek-Mallette,95] | Brlek, Srecko, et Richard Mallette. En préparation. Méthodes incrémentales de construction de systèmes de transitions. |
| [Crubillé,89] | Crubillé, Paul. 1989. Réalisation de l'outil Mec, spécification fonctionnelle et architecture. Thèse de doctorat, Bordeaux, Université Bordeaux I. |
| [Dicky,86] | Dicky, Anne. 1986. An algebraic and algorithmic method for analysing transition systems. Theoratical Comput. Sci., 46:285-303. |
| [Eijk-Vissers-Diaz,89] | Eijk, P.H.J., Vissers, C.A, et M.Diaz. 1993. The formal description technique LOTOS. Elsevier Science Publishers B.V. |
| [Girard,94] | Girard, Benoit 1994. Ebauche d'un langage de description de la synchronisation. Interne, non publié. |
| [Hoare,85] | Hoare, C.A.R. 1985. Communicating sequential processes. International Series in Computer Science |
| [Milner,80] | Milner, R. 1980. Communication and concurrency. Prentice-Hall. |
| [Mullender,89] | Mullender, Sape. 1989. Distributed Systems. ACM Press. Frontier Series. |
| [Saltzer-Pogran,80] | Saltzer, J.H, et K. T. Pogran. 1980. A Star-Shaped Ring Network with High Maintainability. Computer Networks 4:239-244. |
| [Tarjan,72] | Tarjan, R. E. 1972. Depth first search and linear algorithms. SIAM J. Comput., 1:146-160. |