000			00357nam a2200157Ia 4500
008			190201s9999 xx 000 0 und d
020			_a387156011
082			_a1
082			_b64 FUR
100			_a"Furtado, Antonio.L"
245		0	_aFormal Techniques For Da
260			_aBirlin
260			_bSpringer-Verlag
260			_c1986
300			_a"viii, 144"
999			_c23642 _d23642