APA (7th ed.) Citation

Guttag, J. V., Horowitz, E., Musser, D. R., & Horning, J. J. (1978). Abstract Data Types and Software Validation. Communications of the ACM, 21(12), 1048. https://doi.org/10.1145/359657.359666

Chicago Style (17th ed.) Citation

Guttag, John V., Ellis Horowitz, David R. Musser, and J. J. Horning. "Abstract Data Types and Software Validation." Communications of the ACM 21, no. 12 (1978): 1048. https://doi.org/10.1145/359657.359666.

MLA (9th ed.) Citation

Guttag, John V., et al. "Abstract Data Types and Software Validation." Communications of the ACM, vol. 21, no. 12, 1978, p. 1048, https://doi.org/10.1145/359657.359666.