TY  - BOOK
AU  - Howard Bowman , John derrick
TI  - Formal metods for open object based distributed systems
SN  - 0-412-82040-4
U1  - 004.72 
PY  - 1997///
CY  - 
PB  - Chapman & Hall
ER  -