Process Algebra: Equational Theories Of Communicating Processes by T. Basten, Jos C.M. Baeten & M.A. Reniers