TY  - BOOK
AU  - Bowman, Howard, Ed.
AU  - Derrick, John, Ed.
TI  - Formal methods for distributed processing
SN  - 521771846
CY  - Cambridge
KW  - Electronic data processing -- Distributed processing
KW  - Object-oriented programming
N1  - Includes bibliographical references and index
ER  -