TY  - GEN
AU  - Ed by  Bowman, Howard.
AU  - Ed by  Bowman, Howard
AU  - Derrick, Howard
TI  - Formal methods for distributed processing: a survey of object - oriented approaches
SN  - 9 780521 771849
U1  - 004.420 BOW 
PY  - 2001///
CY  - Cambridge
PB  - Cambridge University Press
KW  - Electronic data processing - Distributed processing
KW  - Object - oriented programming
ER  -