Shaw, M., Wulf, W.A. und London, R.L. (1977) „Abstraction and Verification in Alphard: Defining and Specifying Iteration and Generators.“, Communications of the ACM, 20(8), S. 553-564. doi:10.1145/359763.359782.
Chicago Manual of Style 17th edition (full note)Shaw, Mary, William A. Wulf, und Ralph L. London. „Abstraction and Verification in Alphard: Defining and Specifying Iteration and Generators.“. Communications of the ACM 20, Nr. 8 (1. August 1977): 553-64. https://doi.org/10.1145/359763.359782.
American Psychological Association 7th editionShaw, M., Wulf, W. A., & London, R. L. (1977). Abstraction and Verification in Alphard: Defining and Specifying Iteration and Generators. Communications of the ACM, 20(8), 553-564. https://doi.org/10.1145/359763.359782
Modern Language Association 9th editionShaw, M., W. A. Wulf, und R. L. London. „Abstraction and Verification in Alphard: Defining and Specifying Iteration and Generators.“. Communications of the ACM, Bd. 20, Nr. 8, August 1977, S. 553-64, https://doi.org/10.1145/359763.359782.
ISO-690 (author-date, Deutsch)SHAW, Mary, William A. WULF und Ralph L. LONDON, 1977. Abstraction and Verification in Alphard: Defining and Specifying Iteration and Generators. Communications of the ACM. 1 August 1977. Bd. 20, Nr. 8, S. 553-564. DOI 10.1145/359763.359782