TY  - BOOK
AU  - RUGGLES,C.L.N (ED)
TI  - FORMAL METHODS IN STANDARDS: A REPORT FROM THE BCS WORKING GROUP
SN  - ERNET
U1  - 454 
PY  - 1990///
CY  - LONDON
PB  - SV
N1  - BR-736
ER  -