J. Abrial, The B-Book -Assigning programs to meanings, 2005.

J. A. Bergstra, A. Ponse, and S. A. Smolka, Handbook of Process Algebra, 2001.

J. A. Bergstra and J. W. Klop, Algebra of communicating processes with abstraction, Theoretical Computer Science, vol.37, pp.77-121, 1985.
DOI : 10.1016/0304-3975(85)90088-X

T. Bolognesi and E. Brinksma, Introduction to the ISO specification language LOTOS, Computer Networks and ISDN Systems, vol.14, issue.1, pp.25-59, 1987.
DOI : 10.1016/0169-7552(87)90085-7

R. Chossart, ´ Evaluation d'outils de vérification pour les spécifications de systèmes d'information. Master's thesis, 2010.

R. De-nicola and F. Vaandrager, Three logics for branching bisimulation (extended abstract), Proc. of LICS, pp.118-129, 1990.

M. Frappier, B. Fraikin, R. Chossart, R. Chane-yack-fa, and M. Ouenzar, Comparison of Model Checking Tools for Information Systems, Proc. of ICFEM, 2010.
DOI : 10.1007/978-3-642-16901-4_38

M. Frappier, R. St, and . Denis, EB 3 : an entity-based black-box specification method for information systems, Proc. of Software and System Modeling, 2003.

H. Garavel, F. Lang, R. Mateescu, and W. Serwe, CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes, Proc. of TACAS, 2011.
DOI : 10.1007/BFb0054166
URL : https://hal.archives-ouvertes.fr/inria-00583776

F. Gervais, Combinaison de spécifications formelles pour la modélisation des systèmes d'information, 2006.

D. Kozen, Results on the propositional ??-calculus, Theoretical Computer Science, vol.27, issue.3, pp.333-354, 1983.
DOI : 10.1016/0304-3975(82)90125-6

C. Löding and O. Serre, Propositional dynamic logic with recursive programs, Proc. of FOSSACS, 2006.

R. Mateescu and D. Thivolle, A Model Checking Language for Concurrent Value-Passing Systems, Proc. of FM, 2008.
DOI : 10.1007/978-3-540-68237-0_12
URL : https://hal.archives-ouvertes.fr/inria-00315312

M. R. Mousavi and M. A. Reniers, Congruence for Structural Congruences, Proc. of FoSSaCS 2005, pp.47-62, 2005.
DOI : 10.1007/978-3-540-31982-5_3
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.140.2687

V. Symons and W. Geoff, The evaluation of information systems: a critique, In Journal of Applied Systems Analysis, vol.15, 1988.
DOI : 10.1016/B978-0-7506-1122-0.50011-7

D. Vekris, F. Lang, C. Dima, and R. Mateescu, Verification of $${{EB}^3}$$ EB 3 specifications using CADP, Formal Aspects of Computing, vol.54, issue.1
DOI : 10.1007/s00165-016-0362-6
URL : https://hal.archives-ouvertes.fr/hal-01290460