Introduction to Process Algebra - Fokkink, Wan (Springer Berlin Heidelberg, 2000)