TY  - BOOK
AU  - Storey, Neil
TI  - Sfety critical computer systems
SN  - 0-201-42787-7
U1  - 004 STO'S 
PY  - 1996///
CY  - NEWYORK
PB  - ADDISON WESLEY
ER  -