ISO-690 (author-date, English)

KOURIE, Derrick G. und WATSON, Bruce W., 2012. The correctness-by-construction approach to programming. Berlin: Springer. ISBN 9783642279188.

Elsevier - Harvard (with titles)

Kourie, D.G., Watson, B.W., 2012. The correctness-by-construction approach to programming. Springer, Berlin.

American Psychological Association 7th edition

Kourie, D. G., & Watson, B. W. (ca. 2012). The correctness-by-construction approach to programming [Book]. Springer.

Springer - Basic (author-date)

Kourie DG, Watson BW (2012) The correctness-by-construction approach to programming. Springer, Berlin

Juristische Zitierweise (Stüber) (Deutsch)

Kourie, Derrick G./ Watson, Bruce W., The correctness-by-construction approach to programming, Berlin 2012.

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