The Laws of Programming Unify Process Calculi - Hoare, T; van Staden, S (Springer, 2012)