TY  - BOOK
AU  - Ryan,Peter
TI  - Formal Methods In Systems Engineering (Edition.)
SN  - 3540197516
PY  - 1993///
CY  - London
PB  - Springer
ER  -