@article {MMBH14,
	title = {Refinement in hybridised institutions},
	journal = {Formal Aspects of Computing },
	volume = {27},
	year = {2015},
	pages = {375-395},
	publisher = {Springer},
	attachments = {https://haslab.uminho.pt/sites/default/files/lsb/files/mmbh14.pdf},
	author = {Alexandre Madeira and Manuel A. Martins and Luis Soares Barbosa and Rolf Hennicker}
}