@inbook {Bar04,
	title = {A Perspective on Component Refinement},
	booktitle = {Formal Methods for Components and Objects, Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2 - 5, 2004, Revised Lectures},
	series = {Lecture Notes in Computer Science},
	volume = {3657},
	year = {2005},
	pages = {23{\textendash}48},
	publisher = {Springer},
	organization = {Springer},
	abstract = {<p>This paper provides an overview of an approach to coalgebraic modelling and refinement of state-based software components, summing up some basic results and introducing a discussion on the interplay between behavioural and classical data refinement. The approach builds on coalgebra theory as a suitable tool to capture observational semantics and to base an abstract characterisation of possible behaviour models for components (from partiality to different degrees of non-determinism).</p>
},
	author = {Luis Soares Barbosa},
	editor = {F. Boer and M. Bonsangue and S. Graf and W. Roever}
}