American Psychological Association 6th edition

Robinson, L., Levitt, K. N., Manacher, G., & Graham, S. (1977). Proof Techniques for Hierarchically Structured Programs. Communications of the ACM, 20(4), 271-283. https://doi.org/10.1145/359461.359483

ISO-690 (author-date, English)

ROBINSON, Lawrence, LEVITT, Karl N., MANACHER, G. und GRAHAM, S.L., 1977. Proof Techniques for Hierarchically Structured Programs. Communications of the ACM. 1 April 1977. Vol. 20, no. 4, p. 271-283. DOI 10.1145/359461.359483.

Modern Language Association 9th edition

Robinson, L., K. N. Levitt, G. Manacher, und S. Graham. „Proof Techniques for Hierarchically Structured Programs.“. Communications of the ACM, Bd. 20, Nr. 4, April 1977, S. 271-83, https://doi.org/10.1145/359461.359483.

Mohr Siebeck - Recht (Deutsch - Österreich)

Robinson, Lawrence/Levitt, Karl N./Manacher, G./Graham, S.L.: Proof Techniques for Hierarchically Structured Programs., Communications of the ACM 1977, 271-283.

Emerald - Harvard

Robinson, L., Levitt, K.N., Manacher, G. und Graham, S. (1977), „Proof Techniques for Hierarchically Structured Programs.“, Communications of the ACM, Vol. 20 No. 4, S. 271-283.

Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.