000 00393nam a2200157Ia 4500
008 240618s9999||||xx |||||||||||||| ||und||
020 _aERNET
_c75
040 _aMAIN
082 _a454
100 _aRUGGLES,C.L.N (ED)
_934920
245 0 _aFORMAL METHODS IN STANDARDS: A REPORT FROM THE BCS WORKING GROUP
260 _bSV
_c1990
_aLONDON
300 _b135
500 _aBR-736
942 _cBK
999 _c41848
_d41848