Unifying Semantics for Concurrent Programming - Hoare, T (Springer, 2013)