000			00534nam a2200157Ia 4500
001			920
005			20261006003506.0
008			120911s9999 xx 000 0 und d
020			_a0077077350
082			_a005.12 TUR
100			_aTurner, J. G. _91578
245			_aThe construction of formal specifications : an introduction to the model-based and algebraic approaches /J.G. Turner, T.L. McCluskey.
260			_aLondon ; New York : McGraw-Hill, c1994.
300			_axii, 420 p. : ill. ; 25 cm.
650			_aSoftware engineering. _91579
999			_c920 _d920