000			00564nam a2200193Ia 4500
008			161214s9999 xx 000 0 und d
020			_a9780333763278 _c(pbk)
082			_223 _a005.133 _bLIG
100			_aLightfoot, David
245		0	_aFormal specification using Z.
250			_a2nd ed.
260			_aBasingstoke: _bPalgrave, _c2001
300			_axii,164p; _b: _c25 cm.
490			_aGrassroots series
650			_aComputer software -- Development
650			_aFormal methods (Computer science)
650			_aZ (Computer program language)
942			_2ddc _cBK
999			_c14421 _d14421