Logische und Methodische Grundlagen der Entwicklung verteilter Systeme - Broy, Manfred 1949- (Springer Vieweg, 2023)