Henri Habrias B. Griech Formal Specification of Dynamic Constraints with the B Method. 304-314 1997 ICFEM db/conf/icfem/icfem1997.html#HabriasG97