Handbook of process algebra - Bergstra, J. A. (Elsevier, 2001)