Jacobus E. Rooda, D. A. van Beek, Jos C. M. Baeten: Process Algebra. Handbook of Dynamic System Modeling 2007