APA (7th ed.) Citation

Alglave, J., Maranget, L., & Tautschnig, M. (2014). Herding Cats: Modelling, Simulation, Testing, and Data Mining for Weak Memory. ACM transactions on programming languages and systems, 36(2), 1-74. https://doi.org/10.1145/2627752

Chicago Style (17th ed.) Citation

Alglave, Jade, Luc Maranget, and Michael Tautschnig. "Herding Cats: Modelling, Simulation, Testing, and Data Mining for Weak Memory." ACM Transactions on Programming Languages and Systems 36, no. 2 (2014): 1-74. https://doi.org/10.1145/2627752.

MLA (9th ed.) Citation

Alglave, Jade, et al. "Herding Cats: Modelling, Simulation, Testing, and Data Mining for Weak Memory." ACM Transactions on Programming Languages and Systems, vol. 36, no. 2, 2014, pp. 1-74, https://doi.org/10.1145/2627752.