APA (7th ed.) Citation

Sayward, F. G., Ostrand, T. J., Weyuker, E. J., Polak, W., & Karp, R. A. (1979). On Program Verification. Communications of the ACM, 22(11), 614.

Chicago Style (17th ed.) Citation

Sayward, Frederick G., Thomas J. Ostrand, Elaine J. Weyuker, W. Polak, and R. A. Karp. "On Program Verification." Communications of the ACM 22, no. 11 (1979): 614.

MLA (9th ed.) Citation

Sayward, Frederick G., et al. "On Program Verification." Communications of the ACM, vol. 22, no. 11, 1979, p. 614.