APA (7th ed.) Citation

De Milo, R. A., Lipton, R. J., & Perlis, A. J. (1979). Social Processes and Proofs of Theorems and Programs. Communications of the ACM, 22(5), 271. https://doi.org/10.1145/359104.359106

Chicago Style (17th ed.) Citation

De Milo, Richard A., Richard J. Lipton, and Alan J. Perlis. "Social Processes and Proofs of Theorems and Programs." Communications of the ACM 22, no. 5 (1979): 271. https://doi.org/10.1145/359104.359106.

MLA (9th ed.) Citation

De Milo, Richard A., et al. "Social Processes and Proofs of Theorems and Programs." Communications of the ACM, vol. 22, no. 5, 1979, p. 271, https://doi.org/10.1145/359104.359106.