000 00253nam a2200109Ia 4500
008 160710s1997 xx 000 0 und d
100 _aBOWMAN
245 _aFORMAL METHODS OF OPEN ....
260 _bCHAPMAN HALL
_c1997
300 _a470
942 _2ddc
_cB
999 _c59133
_d59133