Ian J. Hayes: Generalised rely-guarantee concurrency: an algebraic foundation. Formal Aspects Comput. 28(6): 1057-1078 (2016)