Rely-Guarantee Extensions and Locks by Robert J. Colvin, Scott Heiner, Peter Höfner and Roger C. Su Nov 21