Books by Werner Damm
Integration of Software Specification Techniques for Applications in Engineering
Wo aber bleibt die Seele?
Practical formal methods for hardware design
Entwurf und Verifikation mikroprogrammierter Rechnerarchitekturen
Die IO- und OI-Hierarchien als
Die IO- und OI-Hierarchien als Interpretation von Schemata mit Rekursion auf höheren Typen