000			00451nmm a2200145Ia 4500
008			230202s9999||||xx |||||||||||||||||und||
020			_a9783540697695
100			_aBert Didier
245		0	_aB'98: Recent Advances in the Development and Use of the B Method
250			_a1998
260			_bSpringer Berlin Heidelberg _c1998
440			_aLecture Notes in Computer Science
650			_aComputer Science
856			_uhttps://doi.org/10.1007/BFb0053349
999			_c27136 _d27136