Handbook of process algebra - Bergstra, J. A.; Ponse, A. 1955-; Smolka, Scott A. (Elsevier, 2001)