Bert, Didier..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 /.Springer,,c2002..
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 /