"Compositional Verification of a Lock-Free Stack with RGITL."

Bogdan Tofan et al. (2013)
a service of Schloss Dagstuhl - Leibniz Center for Informatics