Charakterisierung Hoarescher Systeme für Algol-ähnliche Programmiersprachen - Olderog, Ernst-Rüdiger 1955- (1981)
Kiel, Univ., Diss.
Keywords: Semantik; Programmiersprache; Axiomatik; Hoare-Logik; Hochschulschrift