TY  - BOOK
AU  - Baeten J C M
AU  - Weijland W P
TI  - Process algebra
U1  - 004.0151 
PY  - 1990///
CY  - Cambridge
PB  - Univ. Press
KW  - Process algebra
ER  -