000 00373nam a2200157Ia 4500
008 240618s9999||||xx |||||||||||||| ||und||
020 _aNCST
040 _aMAIN
082 _a458
100 _aJONKERS,H.B.M
_937962
245 0 _aABSTRACTION,SPECIFICATION AND IMPLEMENTATION TECHNIQUES
250 _a1
260 _bOTH
_c1983
_aAMSTERDAM
300 _b317
942 _cBK
999 _c44821
_d44821