APA-Zitierstil (7. Ausg.)

(1974). Three approaches to reliable software: Language design, dyadic specification, complementary semantics.

Chicago-Zitierstil (17. Ausg.)

Three Approaches to Reliable Software: Language Design, Dyadic Specification, Complementary Semantics. Toronto, 1974.

MLA-Zitierstil (9. Ausg.)

Three Approaches to Reliable Software: Language Design, Dyadic Specification, Complementary Semantics. 1974.

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