Tofan, B.; Schellhorn, G.; Ernst, G.; Pfahler, J.; Reif, W. Compositional Verification of a Lock-Free Stack With RGITL. eceasst 2014, 66.