Bernhard Rudolf Martin Maria Josko

• Über einen Hoare-Kalkül für ALGOL-ähnliche Programmiersprachen mit Prozeduren endlicher Art