Patrick Blackburn (2000):
Representation, Reasoning, and Relational Structures: a Hybrid Logic Manifesto.
Logic Journal of IGPL 8(3),
pp. 339–365.
Available at http://dx.doi.org/10.1093/jigpal/8.3.339.
Torben Brauner (2010):
Hybrid Logic and its Proof-Theory.
Applied Logic Series.
Springer.
Luca Cardelli & Andrew D. Gordon (1998):
Mobile Ambients.
In: Maurice Nivat: Foundations of Software Science and Computation Structure, First International Conference, FoSSaCS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings,
Lecture Notes in Computer Science 1378.
Springer,
pp. 140–155.
Available at http://dx.doi.org/10.1007/BFb0053547.
Joseph A. Goguen & Rod M. Burstall (1992):
Institutions: Abstract Model Theory for Specification and Programming.
J. ACM 39(1),
pp. 95–146.
Available at http://doi.acm.org/10.1145/147508.147524.
Alexander Knapp, Till Mossakowski & Markus Roggenbach (2014):
An Institutional Framework for Heterogeneous Formal Development in UML.
CoRR abs/1403.7747.
Available at http://arxiv.org/abs/1403.7747.
Alexander Knapp, Till Mossakowski & Markus Roggenbach (2015):
Towards an Institutional Framework for Heterogeneous Formal Development in UML - - A Position Paper -.
In: Rocco De Nicola & Rolf Hennicker: Software, Services, and Systems - Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering,
Lecture Notes in Computer Science 8950.
Springer,
pp. 215–230,
doi:10.1007/978-3-319-15545-6-15.
Alexandre Madeira (2013):
Foundations and techniques for software reconfigurability.
Universidades do Minho, Aveiro and Porto (Joint MAP-i Doctoral Programme).
Alexandre Madeira, Manuel A. Martins, Luís Soares Barbosa & Rolf Hennicker (2015):
Refinement in hybridised institutions.
Formal Asp. Comput. 27(2),
pp. 375–395,
doi:10.1007/s00165-014-0327-6.
Alexandre Madeira, Renato Neves, Manuel Martins & Luis Barbosa (2014):
Introducing Hierarchical Hybrid Logic.
In: Advances in Modal Logic 2014,
pp. 74 – 78.
Manuel A. Martins, Alexandre Madeira, Răzvan Diaconescu & Luís Soares Barbosa (2011):
Hybridization of Institutions.
In: A. Corradini, B. Klin & C. Cîrstea: Algebra and Coalgebra in Computer Science (CALCO 2011, Winchester, UK, August 30 - September 2, 2011),
Lecture Notes in Computer Science 6859.
Springer,
pp. 283–297.
Available at http://dx.doi.org/10.1007/978-3-642-22944-2_20.