Introduction to process algebra - Fokkink, Willem J. (Texts in theoretical computer science, 2000)