@conference {MB04,
	title = {On Refinement of Generic Software Components},
	booktitle = {Proceedings of 10th International Conference on Algebraic Methodology and Software Technology - AMAST},
	series = {Lecture Notes in Computer Science},
	volume = {3116},
	year = {2004},
	month = {July},
	pages = {506{\textendash}520},
	publisher = {Springer},
	organization = {Springer},
	address = { Scotland, UK},
	abstract = {<p>This paper characterizes refinement of state-based software components modelled as pointed coalgebras for some Set endofunctors. The proposed characterization is parametric on a specification of the underlying behaviour model introduced as a strong monad. This provides a basis to reason about (and transform) state-based software designs.
</p>
},
	attachments = {https://haslab.uminho.pt/sites/default/files/lsb/files/refiamast.pdf},
	author = {Sun Meng and Luis Soares Barbosa},
	editor = {C. Rettray and S. Maharaj and C. Shankland}
}