Hartmut Ehrig Werner Fey Horst Hansen Michael Löwe Dean Jacobs Francesco Parisi-Presicce Compatibility Problems in the Development of Algebraic Module Specifications. 27-71 1990 77 Theor. Comput. Sci. 1&2 db/journals/tcs/tcs77.html#EhrigFHLJP90