@article {Bar03,
	title = {Towards a Calculus of State-based Software Components},
	journal = {Journal of Universal Computer Science},
	volume = {9},
	number = {8},
	year = {2003},
	pages = {891-909},
	abstract = {<p>This paper introduces a calculus of state_based software components modelled as concrete coalgebras for some Set endofunctors, with specified initial conditions. The calculus is parametrized by a notion of behaviour, introduced as a strong (usually commutative) monad. The proposed component model and calculus are illustrated through the characterisation of a particular class of components, classified as separable, which includes the ones arising in the so-called model oriented approach to systems design.</p>
},
	attachments = {https://haslab.uminho.pt/sites/default/files/lsb/files/barbosa_l_s.pdf},
	author = {Luis Soares Barbosa}
}