APA-referens (7:e uppl.)

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

Chicago-referens (17:e uppl.)

The Correctness-by-construction Approach to Programming / Derrick G. Kourie, Bruce W. Watson. 2012.

MLA-referens (9:e uppl.)

The Correctness-by-construction Approach to Programming / Derrick G. Kourie, Bruce W. Watson. 2012.

Varning: dessa hänvisningar är inte alltid fullständigt riktiga.