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.