000 00267nam a2200109Ia 4500
008 160710s1987 xx 000 0 und d
100 _aBJORNER,D AND JONES
245 _aVDM,87 VDM-A FORMAL METHODS WORK
260 _bSPRINGER
_c1987
300 _a422
942 _2ddc
_cD
999 _c70289
_d70289