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