000			00362nam a2200157Ia 4500
008			190201s9999 xx 000 0 und d
020			_a133288072
082			_a1
082			_b6425 F
100			_a"Berg, H.K. ed. al."
245		0	_aFormal Methods of Progra
260			_aNew Jersey
260			_bPrentice Hall Pub.
260			_c1982
300			_a"xiv,206"
999			_c31253 _d31253