000			00346nam a2200157Ia 4500
008			190201s9999 xx 000 0 und d
020			_a201172372
082			_a1
082			_b6402 F
100			_a"Dijkstra, Edsger W.ed."
245		0	_aFormal Development Of Pr
260			_aNew York
260			_bAW
260			_c1990
300			_axiv-242
999			_c32177 _d32177