A. Cockburn, Writing Effective Use Cases, 2000.

M. Glinz, A Lightweight Approach to Consistency of Scenarios and Class Models Available at http://www.ifi.unizh.ch:80/groups/req/staff/glinz/activities.html. [Hur97] R. Hurlbut. A Survey of Approaches For Describing and Formalizing Use Cases, Proceedings of the Fourth International Conference on Requirements Engineering, 1997.

I. Jacobson, Modeling with Use Cases : Formalizing Use-Case modeling, Journal of Object-Oriented Programming, vol.8, issue.3, 1995.

I. Jacobson, M. Christerson, P. Jonson, and G. Overgaard, Le génie logiciel orienté objet, 1993.

K. Lano, The B Language and Method : A Guide to Practical Formal Development. FACIT, 1996.
DOI : 10.1007/978-1-4471-1494-9

Y. Ledru, G. Padiou, and J. Jaray, Étude de cas: Système de contrôle d'accès, 2000.

H. Ledang and J. Souquières, Modeling class operations in B : a case study on the pump component, Laboratoire Lorrain de Recherche en Informatique et ses Applications, 2001.
URL : https://hal.archives-ouvertes.fr/inria-00100689

E. Meyer, Développements formels par objets: utilisation conjointe de B et d'UML, 2001.

H. P. Nguyenpbp99-]-l, R. J. Petre, I. P. Back, and . Paltor, Dérivation de spécifications formelles B à partir de spécifications semi-formelles Conservatoire National des Arts et Métiers -CEDRIC, Paris (F), décembre 1998 Formalising UML Use Cases in the Refinement Cal- culus, 1999.

J. Rumbaugh, I. Jacobson, and G. Booch, The Unified Modeling Language Reference Manual, 1998.

J. Rumbaugh, Using use cases to capture requirements, Journal of object-oriented programming, vol.7, issue.5, 1994.