Manfred Broy: A Logical Basis for Modular Software and Systems Engineering. SOFSEM 1998: 19-35