ZB 2003: Formal Specification and Development in Z and B Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings - Bert, Didier; Bert, Didier; Bowen, Jonathan P.; Bowen, Jonathan P.; King, Steve; King, Steve; Waldén, Marina; Waldén, Marina (Springer Berlin Heidelberg : Imprint: Springer, 2003)