F. Borceux, Handbook of Categorical Algebra I ? III, 1994.

V. Emil, C. , and G. Ro¸suro¸su, Weak inclusion systems, Mathematical Structures in Computer Science, vol.7, issue.2, pp.195-206, 1997.

M. Codescu and T. Mossakowski, Heterogeneous colimits, 2008 IEEE International Conference on Software Testing Verification and Validation Workshop, 2008.
DOI : 10.1109/ICSTW.2008.20
URL : http://www.informatik.uni-bremen.de/~till/papers/weakcolimit.pdf

R. Diaconescu, Institution-independent Model Theory, Birkhäuser Basel, 2008.

R. Diaconescu, J. A. Goguen, and P. Stefaneas, Logical Support for Modularisation, 2nd Workshop on Logical Environments, pp.83-130, 1993.

J. A. Goguen, A categorical manifesto, Mathematical Structures in Computer Science, vol.279, issue.01, pp.49-67, 1991.
DOI : 10.1007/3-540-50667-5_71

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

W. Semantic, W. Deployment, and . Group, Best practice recipes for publishing rdf vocabularies. W3C Working Group Note, 2008.

O. Kutz, J. Bateman, T. Mossakowski, F. Neuhaus, and M. Bhatt, E pluribus unum -formalisation, use-cases, and computational support for conceptual blending, Computational Creativity Research: Towards Creative Machines, pp.167-196, 2015.

T. Mossakowski, Colimits of order-sorted specifications, Proc. 12th WADT, pp.316-332, 1998.
DOI : 10.1007/3-540-64299-4_42

T. Mossakowski, Specifications in an Arbitrary Institution with Symbols, WADT 1999, pp.252-270, 2000.
DOI : 10.1007/978-3-540-44616-3_15

T. Mossakowski, C. Maeder, and K. Lüttich, The Heterogeneous Tool Set, Hets, TACAS 2007, pp.519-522, 2007.
DOI : 10.1007/978-3-540-71209-1_40

T. Mossakowski, O. Kutz, M. Codescu, and C. Lange, The Distributed Ontology, Modeling and Specification Language ??? DOL, 2013.
DOI : 10.1007/978-3-319-15368-1_21
URL : http://ceur-ws.org/Vol-1081/womo2013_invited_paper_1.pdf

T. Mossakowski and A. Tarlecki, Heterogeneous Logical Environments for Distributed Specifications, WADT 2008, number 5486 in Lecture Notes in Computer Science, pp.266-289, 2009.
DOI : 10.1007/3-540-61629-2_59
URL : http://www.informatik.uni-bremen.de/~till/papers/disthet.pdf

M. Object and . Group, The distributed ontology, modeling, and specification language (DOL), 2015. OMG draft standard available at http://www.omg.org/ spec

F. Rabe, How to Identify, Translate, and Combine Logics? Journal of Logic and Computation

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

L. Schröder and T. Mossakowski, HasCasl: Integrated higher-order specification and program development, Theoretical Computer Science, vol.410, issue.12-13, pp.12-131217, 2009.
DOI : 10.1016/j.tcs.2008.11.020

P. Schultz, D. I. Spivak, C. Vasilakopoulou, and R. Wisnesky, Algebraic databases. CoRR, abs, 1602.

D. R. Smith, Composition by Colimit and Formal Software Development, Algebra, Meaning, and Computation, Essays Dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday, pp.317-332, 2006.
DOI : 10.1007/11780274_17

A. Tarlecki, R. M. Burstall, and J. A. Goguen, Some fundamental algebraic tools for the semantics of computation: Part 3. indexed categories, Theoretical Computer Science, vol.91, issue.2, pp.239-264, 1991.
DOI : 10.1016/0304-3975(91)90085-G

K. E. Williamson, M. Healy, and R. A. Barker, Industrial applications of software synthesis via category theory-case studies using Specware, Automated Software Engineering, vol.8, issue.1, pp.7-30, 2001.
DOI : 10.1023/A:1008759623876

A. Zimmermann, M. Krötzsch, J. Euzenat, and P. Hitzler, Formalizing Ontology Alignment and its Operations with Category Theory, Proc. of FOIS-06, pp.277-288, 2006.
URL : https://hal.archives-ouvertes.fr/hal-00825949