Model checking linearizability via refinement - Liu, Y. (2013)
10.1007/978-3-642-05089-3_21