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