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