F. Borceux, Handbook of Categorical Algebra, Categories and Structures, vol.2, 1994.

C. Vidal, J. Soliveres-tur, and J. , A 2-categorial Generalization of the Concept of Institution, Studia Logica, vol.95, pp.301-344, 2010.

R. Diaconescu, Institution-independent Model Theory. Studies in Universal Logic, 2008.

J. A. Goguen and R. M. Burstall, 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.

J. A. Goguen and R. M. Burstall, Institutions: Abstract Model Theory for Specification and Programming, J. ACM, vol.39, pp.95-146, 1992.

A. Knapp and M. V. Cengarle, 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.

F. W. Lawvere, Functorial Semantics of Algebraic Theories, 1963.

M. Lane and S. , Categories for the Working Mathematician, vol.2, 1998.

B. H. Mayoh, Galleries and Institutions, 1985.

, Object Management Group: Object Constraint Language, OMG, 2014.

R. Paré and D. Schumacher, Abstract Families and the Adjoint Functor Theorems, Lect. Notes Math, vol.661, pp.1-125, 1978.

W. Paw?owski, 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.

A. Poigné, H. Ehrig, H. Herrlich, and H. J. Kreowski, Foundations are Rich Institutions, but Institutions are Poor Foundations, Proc. Wsh. Categorial Methods in Computer Science, vol.393, pp.82-101, 1988.

D. Sannella and A. Tarlecki, Foundations of Algebraic Specification and Formal Software Development, EATCS Monographs in Theoretical Computer Science, 2012.

A. Tarlecki, R. M. Burstall, and J. A. Goguen, Some Fundamental Algebraic Tools for the Semantics of Computation, Part 3: Indexed Categories, Theo. Comp. Sci, vol.91, pp.239-264, 1991.

I. ?u?u and J. Fiadeiro, From Conventional to Institution-Independent Logic Programming, J. Logic Comp, vol.27, issue.6, 2015.

U. Wolter and A. Martini, 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.