5 books • 3 series
Autonomous Systems
Bild - Schrift - Zahl (Kulturtechnik)
Mathematisch-Strukturelle Grundlagen Der Informatik (Springer-Lehrbuch)
Fundamentals of Algebraic Specification 2 (Monographs in Theoretical Computer Science. An EATCS, #21)
Fundamentals of Algebraic Specification 1 (Monographs in Theoretical Computer Science. An EATCS, #6)