Enhancing the usability of rely-guarantee conditions for atomicity refinement. - Kenneth George Pierce (2009)