A Uniform Approach for Specification and Design of Interactive Systems: the B Method.

Yamine Aït Ameur Patrick Girard Francis Jambon A Uniform Approach for Specification and Design of Interactive Systems: the B Method. 51-67 1998 conf/dsvis/1998-2 DSV-IS (2) db/conf/dsvis/dsvis1998-2.html#AmeurGJ98