GUTTAG, John V., HOROWITZ, Ellis, MUSSER, David R. und HORNING, J. J., 1978. Abstract Data Types and Software Validation. Communications of the ACM. 1 Dezember 1978. Vol. 21, no. 12, p. 1048-1064. DOI 10.1145/359657.359666.
Elsevier - Harvard (with titles)Guttag, J.V., Horowitz, E., Musser, D.R., Horning, J.J., 1978. Abstract Data Types and Software Validation. Communications of the ACM 21, 1048-1064. https://doi.org/10.1145/359657.359666
American Psychological Association 7th editionGuttag, J. V., Horowitz, E., Musser, D. R., & Horning, J. J. (1978). Abstract Data Types and Software Validation. Communications of the ACM, 21(12), 1048-1064. https://doi.org/10.1145/359657.359666
Springer - Basic (author-date)Guttag JV, Horowitz E, Musser DR, Horning JJ (1978) Abstract Data Types and Software Validation.. Communications of the ACM 21:1048-1064. https://doi.org/10.1145/359657.359666
Juristische Zitierweise (Stüber) (Deutsch)Guttag, John V./ Horowitz, Ellis/ Musser, David R./ Horning, J. J., Abstract Data Types and Software Validation., Communications of the ACM 1978, 1048-1064.