Verifying a quantitative relaxation of linearizability via refinement. - Kiran Adhikari; James Street; Chao Wang 001; Yang Liu 003; Shao Jie Zhang (Int. J. Softw. Tools Technol. Transf., 2016)