Références

[1]

J.-R. Abrial. The B-Book, assigning programs to meaning. Cambridge University Press, 1996.

[2]

Site web de l'atelier B. http://www.atelierb.societe.com.

[3]

Site web de B Tool. http://www.b-core.com/btool.html.

[4]

J.-F. Monin. Comprendre les méthodes formelles. Collection technique et Scientifique des Télécommunications. Masson, 1996.

[5]

Site web sur B. http://www-lsr.imag.fr/B.

[6]

J. M. Spivey. Understanding Z. A specification language and its formal semantics, volume 3 of Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, 1988.

[7]

J.B. Wordsworth. Software Engineering with B. Addison-Wesley, 1996.