TY  - BOOK
AU  - Hoare C. A. R.
TI  - Communicating sequential processes
CY  - New Delhi
KW  - MECHANICAL
ER  -