Rely-Guarantee Specification of a Concurrent Garbage Collector by Roger C. Su and Nisansala P. Yatapanage Oct 15
0000-0002-0498-513X