TY  - BOOK
AU  - Bowman,Howard
TI  - Formal methods for distributed processing;a survey of object -oriented approache
SN  - 0521771846
U1  - 05.117 FOR 
PY  - 2001///
CY  - Cambridge
PB  - Cambridge University Press
N1  - Includes bibliographical references
ER  -