Process Algebra: Equational Theories of Communicating Processes - J. C. M. Baeten; T. Basten; M. A. Reniers (2010)