TY  - BOOK
AU  - Bowman,Howard
TI  - Formal methods for distributed processing
U1  - 005.117 BOW,H 
PY  - 2001///
CY  - United Kingdom
PB  - Cambridge University Press
ER  -