TY  - BOOK
AU  - Baeten, J C M.
AU  - Weijland, W P.
TI  - Process Algebra
SN  - 0 521 40043 0
CY  - Cambridge
KW  - Algebra
ER  -