APA (7th ed.) Citation

FURIA, C. A., MEYER, B., & VELDER, S. (2014). Loop Invariants: Analysis, Classification, and Examples. ACM Computing Surveys, 46(3), 1. https://doi.org/10.1145/2506375

Chicago Style (17th ed.) Citation

FURIA, CARLO A., BERTRAND MEYER, and SERGEY VELDER. "Loop Invariants: Analysis, Classification, and Examples." ACM Computing Surveys 46, no. 3 (2014): 1. https://doi.org/10.1145/2506375.

MLA (9th ed.) Citation

FURIA, CARLO A., et al. "Loop Invariants: Analysis, Classification, and Examples." ACM Computing Surveys, vol. 46, no. 3, 2014, p. 1, https://doi.org/10.1145/2506375.