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