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