@article {MB05,
	title = {Components as coalgebras: The refinement dimension},
	journal = {Theoretical Computer Science},
	volume = {351},
	year = {2005},
	pages = {276-294},
	abstract = {<p>This paper characterizes refinement of state-based software components modeled as pointed coalgebras for some Set endofunctors. The proposed characterization is parametric on a specification of the underlying behaviour model introduced as astrong monad. This provides a basis to reason about (and transform) state-based software designs. In particular it is shown how refinement can be applied to the development of the inequational subset of a calculus of generic software components.</p>
},
	attachments = {https://haslab.uminho.pt/sites/default/files/lsb/files/mb05_1.pdf},
	author = {Sun Meng and Luis Soares Barbosa}
}