Introduction to process algebra - Fokkink, Wan (Springer Verlag, 2000)