Chao Wang, Yi Lv, Peng Wu: Bounded TSO-to-SC Linearizability Is Decidable. SOFSEM 2016: 404-417