Handbook of Process Algebra by J.A. Bergstra