Daphna Amit Noam Rinetzky Thomas W. Reps Mooly Sagiv Eran Yahav Comparison Under Abstraction for Verifying Linearizability. 477-490 2007 conf/cav/2007 CAV http://dx.doi.org/10.1007/978-3-540-73368-3_49 db/conf/cav/cav2007.html#AmitRRSY07