Ein hoare Kalkül für die Sprache der getypten Lamoda-Terme Korrektheit, Vollständigkeit, Anwendungen - Goerdt, Andreas (1986)