Specification of Modular Systems

Herbert Weber, Hartmut Ehrig. Specification of Modular Systems. IEEE Trans. Software Eng., 12(7):784-798, 1986.

Abstract

Abstract is missing.