J. Abrial, The B-Book: Assigning Programs to Meanings, 1996.
DOI : 10.1017/CBO9780511624162

J. Abrial, Extending B without changing it (for developing distributed systems), Proceedings of the 1st Conference on the B method, pp.169-191, 1996.

J. Abrial, Event driven circuit construction. MATISSE project, 2000.

R. Back and K. , Stepwise refinement of action systems, Mathematics of Program Construction, pp.115-138, 1989.
DOI : 10.1007/3-540-51305-1_7

R. Back and J. V. Wright, Refinement Calculus: A Systematic Introduction. Graduate Texts in Computer Science, 1998.
DOI : 10.1007/978-1-4612-1674-2

. Clearsy, Atelier b. Technical Note Version 3.6, Aix-en- Provence(F), 2002.

E. Dijkstra, A Discipline of Programming, chapter 14, N. J, 1976.

E. Dijkstra and C. Schweten, Predicate Calculus and Programm Semantics, 1990.

R. Dijkstra, An experiment with the use of predicate transformers in UNITY, Information Processing Letters, vol.53, issue.6, pp.329-332, 1995.
DOI : 10.1016/0020-0190(94)00215-K

D. C. Abrial and G. Laffitte, ???Higher-Order??? Mathematics in B, Formal Specification and Development in Z and B, pp.237-270, 1996.
DOI : 10.1007/3-540-45648-1_19

J. Jaray and A. Mahjoub, Une mthode itrative de construction d'un modle de systme ractif, TSI, vol.15, 1996.

L. Lamport, The temporal logic of actions, Digital Equipment Corporation, Systems Research Centre, 1991.
DOI : 10.1145/177492.177726

L. Lamport, Hybrid systems in TLA+, Hybrid Systems, pp.77-102, 1993.
DOI : 10.1007/3-540-57318-6_25

P. J. Ramadge and W. M. Wonham, Supervisory Control of a Class of Discrete Event Processes, SIAM Journal on Control and Optimization, vol.25, issue.1, pp.206-230, 1987.
DOI : 10.1137/0325013

P. J. Ramadge and W. M. Wonham, The control of discrete event systems, Proceedings of the IEEE, vol.77, issue.1, pp.81-98, 1989.
DOI : 10.1109/5.21072

J. Spivey, Understanding Z, A Specification Language and its Formal Semantics, Tracts in Theoretical Computer Science, vol.3, 1988.