APA (7th ed.) Citation

Derrick, J., Schellhorn, G., & Wehrheim, H. (2011). Mechanically Verified Proof Obligations for Linearizability. ACM Transactions on Programming Languages & Systems, 33(1), 4-1.

Chicago Style (17th ed.) Citation

Derrick, John, Gerhard Schellhorn, and Heike Wehrheim. "Mechanically Verified Proof Obligations for Linearizability." ACM Transactions on Programming Languages & Systems 33, no. 1 (2011): 4-1.

MLA (9th ed.) Citation

Derrick, John, et al. "Mechanically Verified Proof Obligations for Linearizability." ACM Transactions on Programming Languages & Systems, vol. 33, no. 1, 2011, pp. 4-1.