Chao Wang, Yi Lv, Peng Wu: Decomposable Relaxation for Concurrent Data Structures. SOFSEM 2017: 188-202