ZB 2002: Formal Specification and Development in Z and B 2nd International Conference of B and Z Users Grenoble, France, January 23-25, 2002, Proceedings - Bert, Didier; Bert, Didier; Bowen, Jonathan P.; Bowen, Jonathan P.; Henson, Martin C.; Henson, Martin C.; Robinson, Ken; Robinson, Ken (Springer Berlin Heidelberg : Imprint: Springer, 2002)