Cite Them Right 11th edition - Harvard

SPOTO, F., MESNARD, F. and PAYET, ÉTIENNE (2010) “A Termination Analyzer for Java Bytecode Based on Path-Length.”, ACM Transactions on Programming Languages & Systems, 32(3), pp. 8-77. doi:10.1145/1709093.1709095.

Chicago Manual of Style 17th edition (full note)

SPOTO, FAUSTO, FRED MESNARD, and ÉTIENNE PAYET. “A Termination Analyzer for Java Bytecode Based on Path-Length.”. ACM Transactions on Programming Languages & Systems 32, no. 3 (March 1, 2010): 8-77. https://doi.org/10.1145/1709093.1709095.

American Psychological Association 7th edition

SPOTO, F., MESNARD, F., & PAYET, ÉTIENNE. (2010). A Termination Analyzer for Java Bytecode Based on Path-Length. ACM Transactions on Programming Languages & Systems, 32(3), 8-77. https://doi.org/10.1145/1709093.1709095

Modern Language Association 9th edition

SPOTO, F., F. MESNARD, and ÉTIENNE PAYET. “A Termination Analyzer for Java Bytecode Based on Path-Length.”. ACM Transactions on Programming Languages & Systems, vol. 32, no. 3, Mar. 2010, pp. 8-77, https://doi.org/10.1145/1709093.1709095.

ISO-690 (author-date, Deutsch)

SPOTO, FAUSTO, FRED MESNARD and ÉTIENNE PAYET, 2010. A Termination Analyzer for Java Bytecode Based on Path-Length. ACM Transactions on Programming Languages & Systems. 1 March 2010. vol. 32, no. 3, p. 8-77. DOI 10.1145/1709093.1709095

Warning: These citations may not always be 100% accurate.