SHAW, Mary, WULF, William A. und LONDON, Ralph L., 1977. Abstraction and Verification in Alphard: Defining and Specifying Iteration and Generators. Communications of the ACM. 1 August 1977. Vol. 20, no. 8, p. 553-564. DOI 10.1145/359763.359782.
Elsevier - Harvard (with titles)Shaw, M., Wulf, W.A., London, R.L., 1977. Abstraction and Verification in Alphard: Defining and Specifying Iteration and Generators. Communications of the ACM 20, 553-564. 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
Springer - Basic (author-date)Shaw M, Wulf WA, London RL (1977) Abstraction and Verification in Alphard: Defining and Specifying Iteration and Generators.. Communications of the ACM 20:553-564. https://doi.org/10.1145/359763.359782
Juristische Zitierweise (Stüber) (Deutsch)Shaw, Mary/ Wulf, William A./ London, Ralph L., Abstraction and Verification in Alphard: Defining and Specifying Iteration and Generators., Communications of the ACM 1977, 553-564.