3 works on record
Mathematisch-strukturelle Grundlagen der Informatik
Semantic Integration of Heterogeneous Software Specifications
Integration of Software Specification Techniques for Applications in Engineering