Didier Bert B'98: Recent Advances in the Development and Use of the B Method, Second International B Conference, Montpellier, France, April 22-24, 1998, Proceedings B Lecture Notes in Computer Science 1393 Springer 1998 3-540-64405-9 db/conf/b/b1998.html