Madeira A, Martins MA, Barbosa LS, Hennicker R.? 2015.??Refinement in hybridised institutions. Formal Aspects of Computing . 27(2):375-395.