APA (7th ed.) Citation

Wile, D. S., & Horowitz, E. (1983). Program Developments: Formal Explanations of Implementations. Communications of the ACM, 26(11), 902. https://doi.org/10.1145/182.358443

Chicago Style (17th ed.) Citation

Wile, David S., and Ellis Horowitz. "Program Developments: Formal Explanations of Implementations." Communications of the ACM 26, no. 11 (1983): 902. https://doi.org/10.1145/182.358443.

MLA (9th ed.) Citation

Wile, David S., and Ellis Horowitz. "Program Developments: Formal Explanations of Implementations." Communications of the ACM, vol. 26, no. 11, 1983, p. 902, https://doi.org/10.1145/182.358443.