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