APA-Zitierstil (7. Ausg.)

Josko, B. R. M. M. (1985). A Hoare-calculus for Algol-like programming languages with finite mode procedures without global variables. RWTH Aachen.

Chicago-Zitierstil (17. Ausg.)

Josko, Bernhard Rudolf Martin Maria. A Hoare-calculus for Algol-like Programming Languages with Finite Mode Procedures Without Global Variables. Aachen: RWTH Aachen, 1985.

MLA-Zitierstil (9. Ausg.)

Josko, Bernhard Rudolf Martin Maria. A Hoare-calculus for Algol-like Programming Languages with Finite Mode Procedures Without Global Variables. RWTH Aachen, 1985.

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