b'98: recent advances in the development and use of the b method: second international b conference, montpellier, france, april 22-24, 1998, proceedin (en Inglés)

didier, bert · springer