Bruno Mermet, Dominique Méry, Dmitri Samborski. Spécification de services : une approche avec B.
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 1998, 17 (9), pp.1157-1180.
⟨inria-00098448⟩