5 works on record
Modellbildung in der Informatik
Foundations of secure computation
Proof and System-Reliability
2012
Calculational system design
Algebraische Ausdrücke, Formen, Identitäten