J. Abrial, The B book -Assigning Programs to Meanings, 1996.

J. Abrial, B#: Toward a Synthesis between Z and B, 3nd International Conference of B and Z Users -ZB 2003, 2003.
DOI : 10.1007/3-540-44880-2_12

J. Abrial, Event Based Sequential Program Development: Application to Constructing a Pointer Program, FME 2003, pp.51-74, 2003.
DOI : 10.1007/978-3-540-45236-2_5

J. Abrial and D. Cansell, Click???n Prove: Interactive Proofs within Set Theory, TPHOL 2003, pp.1-24, 2003.
DOI : 10.1007/10930755_1

URL : https://hal.archives-ouvertes.fr/inria-00099836

R. Back, On correct refinement of programs, Journal of Computer and System Sciences, vol.23, issue.1, pp.49-68, 1979.
DOI : 10.1016/0022-0000(81)90005-2

D. Cansell and D. Méry, The event-B Modelling Method: Concepts and Case Studies, pp.33-140, 2007.
DOI : 10.1007/978-3-540-74107-7_3

URL : https://hal.archives-ouvertes.fr/inria-00579550

D. Cansell and D. Méry, Proved-Patterns-Based Development for Structured Programs, Lecture Notes in Computer Science, vol.4649, pp.104-114, 2007.
DOI : 10.1007/978-3-540-74510-5_13

URL : https://hal.archives-ouvertes.fr/inria-00168307

E. W. Dijkstra, A Discipline of Programming, 1976.

R. W. Floyd, Algorithm 97: Shortest path, Communications of the ACM, vol.5, issue.6, p.345, 1962.
DOI : 10.1145/367766.368168

C. A. Hoare, An axiomatic basis for computer programming, Communications of the ACM, vol.12, issue.10, pp.576-580, 1969.
DOI : 10.1145/363235.363259

L. Lamport, The temporal logic of actions, ACM Transactions on Programming Languages and Systems, vol.16, issue.3, pp.872-923, 1994.
DOI : 10.1145/177492.177726

T. Gary, J. Leavens, D. Abrial, M. Batory, A. Butler et al., Roadmap for enhanced languages and methods to aid verification, Fifth Intl. Conf. Generative Programming and Component Engineering, pp.221-235, 2006.

C. Morgan, Programming from Specifications. Prentice Hall International Series in Computer Science, 1990.