"Relaxing safely: verified on-the-fly garbage collection for x86-TSO."

Peter Gammie, Antony L. Hosking, Kai Engelhardt (2015)
a service of Schloss Dagstuhl - Leibniz Center for Informatics