Comparison Under Abstraction for Verifying Linearizability. - Daphna Amit; Noam Rinetzky; Thomas W. Reps; Mooly Sagiv; Eran Yahav (CAV, 2007)