Handbook of Categorical Algebra, Categories and Structures, vol.2, 1994. ,
A 2-categorial Generalization of the Concept of Institution, Studia Logica, vol.95, pp.301-344, 2010. ,
Institution-independent Model Theory. Studies in Universal Logic, 2008. ,
A Study in the Foundation of Programming Methodology: Specifications, Institutions, Charters, and Parchments, Proc. Tut. Wsh. Category Theory and Computer Programming, vol.240, pp.313-333, 1986. ,
Institutions: Abstract Model Theory for Specification and Programming, J. ACM, vol.39, pp.95-146, 1992. ,
Software, Services, and Systems -Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering, Lect. Notes Comp. Sci, vol.8950, pp.193-214, 2015. ,
Functorial Semantics of Algebraic Theories, 1963. ,
Categories for the Working Mathematician, vol.2, 1998. ,
Galleries and Institutions, 1985. ,
, Object Management Group: Object Constraint Language, OMG, 2014.
Abstract Families and the Adjoint Functor Theorems, Lect. Notes Math, vol.661, pp.1-125, 1978. ,
Context Institutions. In: Sel. Papers 11 th Ws. Specification of Abstract Data Types & 8 th COMPASS Ws. Recent Trends in Data Type Specifications, Lect. Notes Comp. Sci, vol.1130, pp.436-457, 1996. ,
Foundations are Rich Institutions, but Institutions are Poor Foundations, Proc. Wsh. Categorial Methods in Computer Science, vol.393, pp.82-101, 1988. ,
Foundations of Algebraic Specification and Formal Software Development, EATCS Monographs in Theoretical Computer Science, 2012. ,
Some Fundamental Algebraic Tools for the Semantics of Computation, Part 3: Indexed Categories, Theo. Comp. Sci, vol.91, pp.239-264, 1991. ,
From Conventional to Institution-Independent Logic Programming, J. Logic Comp, vol.27, issue.6, 2015. ,
Shedding New Light in the World of Logical Systems, Proc. 7 th Intl. Conf. Category Theory and Computer Science (CTCS'97), vol.1290, pp.159-176, 1997. ,