Concurrent Kleene Algebra and its Foundations - Hoare, T; Möller, B; Struth, G; Wehrman, I (2011)