GRANDY, Holger, STENZEL, Kurt und REIF, Wolfgang, 2006. A Refinement Method for Java Programs. Augsburg: Universität Augsburg.
Elsevier - Harvard (with titles)Grandy, H., Stenzel, K., Reif, W., 2006. A Refinement Method for Java Programs, Reports / Technische Berichte der Fakultät für Angewandte Informatik der Universität Augsburg. Universität Augsburg, Augsburg. https://doi.org/urn:nbn:de:bvb:384-opus4-3709
American Psychological Association 7th editionGrandy, H., Stenzel, K., & Reif, W. (ca. 2006). A Refinement Method for Java Programs [Cd]. In Reports / Technische Berichte der Fakultät für Angewandte Informatik der Universität Augsburg. Universität Augsburg. https://doi.org/urn:nbn:de:bvb:384-opus4-3709
Springer - Basic (author-date)Grandy H, Stenzel K, Reif W (2006) A Refinement Method for Java Programs. Universität Augsburg, Augsburg
Juristische Zitierweise (Stüber) (Deutsch)Grandy, Holger/ Stenzel, Kurt/ Reif, Wolfgang, A Refinement Method for Java Programs, Augsburg 2006.