@conference {RMMB11,
	title = {Refinement by interpretation in Pi-institutions},
	booktitle = {Proceedings of 15th International Refinement Workshop - Refine },
	series = {EPTCS},
	volume = {55},
	year = {2011},
	month = {June},
	pages = {53-64},
	address = {Limerick, Ireland},
	abstract = {<p>The paper discusses the role of interpretations, understood as multifunctions that preserve and reflect logical consequence, as refinement witnesses in the general setting of pi-institutions. This leads to a smooth generalization of the refinement-by-interpretation approach, recently introduced by the authors in more specific contexts. As a second, yet related contribution a basis is provided to build up a refinement calculus of structured specifications in and across arbitrary pi-institutions.</p>
},
	attachments = {https://haslab.uminho.pt/sites/default/files/lsb/files/1106.4093v1.pdf},
	author = {C. Rodrigues and M. Martins and Alexandre Madeira and Luis Soares Barbosa}
}