1. Patrick Blackburn (2000): Representation, Reasoning, and Relational Structures: a Hybrid Logic Manifesto. Logic Journal of IGPL 8(3), pp. 339–365. Available at
  2. Torben Brauner (2010): Hybrid Logic and its Proof-Theory. Applied Logic Series. Springer.
  3. 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
  4. Razvan Diaconescu & Alexandre Madeira (2015): Encoding hybridized institutions into first-order logic. Mathematical Structures in Computer Science FirstView, pp. 1–44, doi:10.1017/S0960129514000383. Available at
  5. Rob J. van Glabbeek & Ursula Goltz (2001): Refinement of actions and equivalence notions for concurrent systems. Acta Inf. 37(4/5), pp. 229–327. Available at Available at
  6. Joseph A. Goguen & Rod M. Burstall (1992): Institutions: Abstract Model Theory for Specification and Programming. J. ACM 39(1), pp. 95–146. Available at
  7. O. M. G. Group: UML Specification, Version 2.0.
  8. David Harel (1987): Statecharts: A Visual Formalism for Complex Systems. Sci. Comput. Program. 8(3), pp. 231–274. Available at
  9. Alexander Knapp, Till Mossakowski & Markus Roggenbach (2014): An Institutional Framework for Heterogeneous Formal Development in UML. CoRR abs/1403.7747. Available at
  10. 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.
  11. Alexandre Madeira (2013): Foundations and techniques for software reconfigurability. Universidades do Minho, Aveiro and Porto (Joint MAP-i Doctoral Programme).
  12. 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.
  13. Alexandre Madeira, Renato Neves, Manuel Martins & Luis Barbosa (2014): Introducing Hierarchical Hybrid Logic. In: Advances in Modal Logic 2014, pp. 74 – 78.
  14. 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

Comments and questions to:
For website issues: