TY  - GEN
AU  - 
TI  - Mathematical design ; building reliable complex computer systems
PY  - 1998///
CY  - NY
PB  - I E E E Press
ER  -