Edward K. Blum Hartmut Ehrig Francesco Parisi-Presicce Algebraic Specification of Modules and Their Basic Interconnections. 293-339 1987 34 J. Comput. Syst. Sci. 2/3 db/journals/jcss/jcss34.html#BlumEP87