Goguen, Joseph A.; Malcolm, Grant A hidden agenda. (English) Zbl 0946.68070 Theor. Comput. Sci. 245, No. 1, 55-101 (2000). MSC: 68Q45 68Q85 PDFBibTeX XMLCite \textit{J. A. Goguen} and \textit{G. Malcolm}, Theor. Comput. Sci. 245, No. 1, 55--101 (2000; Zbl 0946.68070) Full Text: DOI
Orejas, Fernando; Pino, Elvira; Ehrig, Hartmut Institutions for logic programming. (English) Zbl 0901.68027 Theor. Comput. Sci. 173, No. 2, 485-511 (1997). MSC: 68N17 PDFBibTeX XMLCite \textit{F. Orejas} et al., Theor. Comput. Sci. 173, No. 2, 485--511 (1997; Zbl 0901.68027) Full Text: DOI
Navarro, Marisa; Orejas, Fernando; Sánchez, Ana On the correctness of modular systems. (English) Zbl 0874.68065 Theor. Comput. Sci. 140, No. 1, 139-177 (1995). MSC: 68N99 PDFBibTeX XMLCite \textit{M. Navarro} et al., Theor. Comput. Sci. 140, No. 1, 139--177 (1995; Zbl 0874.68065) Full Text: DOI
Ehrig, Hartmut; Große-Rhode, Martin Functorial theory of parameterized specifications in a general specification framework. (English) Zbl 0829.68086 Theor. Comput. Sci. 135, No. 2, 221-266 (1994). MSC: 68Q65 68Q60 PDFBibTeX XMLCite \textit{H. Ehrig} and \textit{M. Große-Rhode}, Theor. Comput. Sci. 135, No. 2, 221--266 (1994; Zbl 0829.68086) Full Text: DOI