Manfred Broy: On Architecture Specification. SOFSEM 2018: 19-39