3 works on record
Mathematisch-strukturelle Grundlagen der Informatik
Fundamentals of Algebraic Specification 2
Autonomous Systems - Self-Organization, Management, and Control