The B-Book: Assigning Programs to Meanings, 1996. ,
DOI : 10.1017/CBO9780511624162
Extending B without changing it (for developing distributed systems), Proceedings of the 1st Conference on the B method, pp.169-191, 1996. ,
Event driven circuit construction. MATISSE project, 2000. ,
Stepwise refinement of action systems, Mathematics of Program Construction, pp.115-138, 1989. ,
DOI : 10.1007/3-540-51305-1_7
Refinement Calculus: A Systematic Introduction. Graduate Texts in Computer Science, 1998. ,
DOI : 10.1007/978-1-4612-1674-2
Atelier b. Technical Note Version 3.6, Aix-en- Provence(F), 2002. ,
A Discipline of Programming, chapter 14, N. J, 1976. ,
Predicate Calculus and Programm Semantics, 1990. ,
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
???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
Une mthode itrative de construction d'un modle de systme ractif, TSI, vol.15, 1996. ,
The temporal logic of actions, Digital Equipment Corporation, Systems Research Centre, 1991. ,
DOI : 10.1145/177492.177726
Hybrid systems in TLA+, Hybrid Systems, pp.77-102, 1993. ,
DOI : 10.1007/3-540-57318-6_25
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
The control of discrete event systems, Proceedings of the IEEE, vol.77, issue.1, pp.81-98, 1989. ,
DOI : 10.1109/5.21072
Understanding Z, A Specification Language and its Formal Semantics, Tracts in Theoretical Computer Science, vol.3, 1988. ,