Hans Langmaack
-
On revival of Algol-concepts in modern programming and specification languages
Formal methods and hybrid real-time systems