Bouajjani, Emmi, Enea, Hamza, 2015. Tractable Refinement Checking for Concurrent Objects, in: . ACM Press.. https://doi.org/10.1145/2676726.2677002