Handbook of Process Algebra door J.A. Bergstra