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. https://doi.org/10.1145/1889997.1890001

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. https://doi.org/10.1145/1889997.1890001.

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, p. 4:1, https://doi.org/10.1145/1889997.1890001.