Amel Mammar, Régine Laleau. Implémentation JAVA d'une spécification B: Application aux bases de données.
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 2008, 27 (5), pp.537--570.
⟨hal-01224657⟩