APA (7th ed.) Citation

Kourie, D. G., & Watson, B. W. (2012). The Correctness-by-Construction Approach to Programming. Springer Berlin Heidelberg : Imprint: Springer.

Chicago Style (17th ed.) Citation

Kourie, Derrick G., and Bruce W. Watson. The Correctness-by-Construction Approach to Programming. Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer, 2012.

MLA (8th ed.) Citation

Kourie, Derrick G., and Bruce W. Watson. The Correctness-by-Construction Approach to Programming. Springer Berlin Heidelberg : Imprint: Springer, 2012.