ZB 2000 : formal specification and development in Z and B : first international conference of B and Z Users, York, UK, August 29-September 2, 2000 : proceedings / Jonathan P. Bowen ... [et al.] (eds.). - Bowen, J. P. (Jonathan Peter), 1956- (Lecture notes in computer science, 2000)