Mechanically Verified Proof Obligations for Linearizability. - Derrick, John; Schellhorn, Gerhard; Wehrheim, Heike (ACM Transactions on Programming Languages & Systems, 2011)