Distributed systems analysis with CCS - Bruns, Glenn (Prentice Hall, 1997)