Josko, B. R. M. M. (1985). Über einen Hoare-Kalkül für Algol-ähnliche Programmiersprachen mit Prozeduren endlicher Art.
Chicago-Zitierstil (17. Ausg.)Josko, Bernhard Rudolf Martin Maria. Über Einen Hoare-Kalkül Für Algol-ähnliche Programmiersprachen Mit Prozeduren Endlicher Art. 1985.
MLA-Zitierstil (9. Ausg.)Josko, Bernhard Rudolf Martin Maria. Über Einen Hoare-Kalkül Für Algol-ähnliche Programmiersprachen Mit Prozeduren Endlicher Art. 1985.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.