J. A. Goguen and R. M. Burstall, Introducing institutions, Proceedings of the Carnegie Mellon Workshop on Logic of Programs, pp.221-256, 1984.
DOI : 10.1007/978-3-0346-0145-0_26

J. Meseguer, H. D. Ebbinghaus, J. Fernandez-prida, M. Garrido, D. Lascar et al., General Logics, Proceedings of the Logic Colloquium '87, pp.275-329, 1989.
DOI : 10.1016/S0049-237X(08)70132-0

J. L. Fiadeiro and T. S. Maibaum, Generalising Interpretations Between Theories in the Context of (??-)institutions, Proceedings of the First Imperial College Department of Computing Workshop on Theory and Formal Methods, pp.126-147, 1993.
DOI : 10.1007/978-1-4471-3503-6_10

J. A. Goguen and R. M. Burstall, Institutions: abstract model theory for specification and programming, Journal of the ACM, vol.39, issue.1, pp.95-146, 1992.
DOI : 10.1145/147508.147524

A. Tarlecki, Moving between logical systems Selected papers from the 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop on Recent Trends in Data Type Specification, LNCS, vol.1130, pp.478-502, 1996.

D. Sannella and A. Tarlecki, Specifications in an arbitrary institution, Information and Computation, vol.76, issue.2-3, pp.2-3, 1988.
DOI : 10.1016/0890-5401(88)90008-9

A. Tarlecki, Abstract specification theory: an overview, Proceedings of the NATO Advanced Study Institute on Models, Algebras and Logic of Engineering Software. NATO Science Series, pp.43-79, 2003.

T. Mossakowski, Comorphism-Based Grothendieck Logics, Lecture Notes in Computer Science, vol.2420, pp.593-604, 2002.
DOI : 10.1007/3-540-45687-2_49
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.16.3674

T. Mossakowski and A. Tarlecki, Heterogeneous Logical Environments for Distributed Specifications, LNCS, vol.9, issue.2, pp.266-289, 2009.
DOI : 10.1007/3-540-61629-2_59
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.147.1989

R. Diaconescu and K. Futatsugi, Logical foundations of CafeOBJ, Theoretical Computer Science, vol.285, issue.2, pp.289-318, 2002.
DOI : 10.1016/S0304-3975(01)00361-9

R. Diaconescu, Grothendieck institutions, Applied Categorical Structures, vol.10, issue.4, pp.383-402, 2002.
DOI : 10.1023/A:1016330812768
URL : http://doi.org/10.1016/j.tcs.2003.10.030

R. Diaconescu, Institution-independent Model Theory, Studies in Universal Logic. Birkhäuser, vol.2, 2008.
DOI : 10.1007/11780274_5

T. Mossakowski, C. Maeder, and K. Luttich, The Heterogeneous Tool Set, Hets, Proceedings of the 13th. International Conference on Tools and Algorithms for the Construction and Analysis of Systems, pp.519-522, 2007.
DOI : 10.1007/978-3-540-71209-1_40

A. Tarlecki, Towards heterogeneous specifications, Frontiers of Combining Systems of Studies in Logic and Computation, pp.337-360, 2000.

M. V. Cengarle, A. Knapp, A. Tarlecki, and M. Wirsing, A Heterogeneous Approach to UML Semantics, Proceedings of Concurrency, graphs and models (Essays dedicated to Ugo Montanari on the occasion of his 65th. birthday). Number 5065 in LNCS, pp.383-402, 2008.
DOI : 10.1007/978-3-540-68679-8_23

E. W. Beth, The Foundations of Mathematics, 1959.

E. W. Beth, Semantic entailment and formal derivability The Philosophy of Mathematics, pp.9-41, 1969.

J. Herbrand, Investigation in proof theory, Logical Writings, pp.44-202, 1969.

G. Gentzen, Investigation into logical deduction The Collected Papers of Gerhard Gentzen, pp.68-131, 1969.

R. M. Smullyan, First-Order Logic, 1995.
DOI : 10.1201/b10689-23

J. A. Robinson, A Machine-Oriented Logic Based on the Resolution Principle, Journal of the ACM, vol.12, issue.1, pp.23-41, 1965.
DOI : 10.1145/321250.321253

S. Mclane, Categories for working mathematician. Graduate Texts in Mathematics, 1971.

J. L. Fiadeiro, Categories for software engineering, 2005.

L. Pombo, C. G. Castro, P. Aguirre, N. M. Maibaum, and T. S. , Satisfiability calculus: the semantic counterpart of a proof calculus in general logics, 2011.
URL : https://hal.archives-ouvertes.fr/hal-01485970

M. Fitting, Tableau methods of proof for modal logics., Notre Dame Journal of Formal Logic, vol.13, issue.2, pp.237-247, 1972.
DOI : 10.1305/ndjfl/1093894722

J. A. Goguen and G. Rosu, Institution morphisms. Formal Asp, Comput, vol.13, pp.3-5, 2002.
DOI : 10.1007/s001650200013

P. Castro, N. M. Aguirre, C. G. Lopez-pombo, and T. S. Maibaum, Towards Managing Dynamic Reconfiguration of Software Systems in a Categorical Setting, Proceedings of Theoretical Aspects of Computing -ICTAC 2010, 7th International Colloquium, pp.306-321, 2010.
DOI : 10.1007/978-3-642-14808-8_21

P. Castro, N. M. Aguirre, C. G. Lopez-pombo, and T. S. Maibaum, A Categorical Approach to Structuring and Promoting Z Specifications, Proceedings of FACS 2012, 9th International Symposium, pp.73-88, 2012.
DOI : 10.1007/978-3-642-35861-6_5

P. Blackburn, M. De-rijke, and Y. Venema, Modal logic. Number 53 in Cambridge Tracts in Theoretical Computer Science, 2001.
URL : https://hal.archives-ouvertes.fr/inria-00100502

D. Kozen, Kleene algebra with tests, ACM Transactions on Programming Languages and Systems, vol.19, issue.3, pp.427-443, 1997.
DOI : 10.1145/256167.256195
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.118.5557

M. Clavel, F. Durán, S. Eker, P. Lincoln, N. Martí-oliet et al., All About Maude -A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic, Lecture Notes in Computer Science, vol.4350, 2007.

D. Jackson, Alloy: a lightweight object modelling notation, ACM Transactions on Software Engineering and Methodology, vol.11, issue.2, pp.256-290, 2002.
DOI : 10.1145/505145.505149

L. D. Moura and N. Bjørner, Satisfiability modulo theories, Communications of the ACM, vol.54, issue.9, pp.69-77, 2011.
DOI : 10.1145/1995376.1995394
URL : https://hal.archives-ouvertes.fr/hal-01095009

E. W. Beth, Semantic entailment and formal derivability Mededlingen van de Koninklijke Nederlandse Akademie van Wetenschappen, Afdeling Letterkunde, vol.18, issue.13, pp.309-342, 1955.

J. Herbrand, Recherches sur la theorie de la demonstration, 1930.

G. Gentzen, Untersuchungen ???ber das logische Schlie???en. I, Mathematische Zeitschrift, vol.39, issue.1, pp.176-210, 1935.
DOI : 10.1007/BF01201353