TY  - BOOK
AU  - Goldsack, S.J., ed.
AU  - Kent, S.J.H., ed.
TI  - Formal methods and object technology
T2  - Formal approaches to computing and information tecehnology
SN  - 3540199772
U1  - 005.11 
PY  - 1996///
CY  - Berlin
PB  - Springer-verlag
ER  -