@article {gensubm,
	title = {State-based Components Made Generic},
	journal = {Electronic Notes in Theoretical Computer Science},
	volume = {82},
	number = {1},
	year = {2003},
	pages = {39-56},
	publisher = {Elsevier},
	abstract = {<p>Genericity is a topic which is not sufficiently developed in state-based systems modelling, mainly due to a myriad of approaches and behaviour models which lack unification. This paper adopts coalgebra theory to propose a generic notion of a state-based software component, and an associated calculus, by quantifying over behavioural models specified as strong monads. This leads to the pointfree, calculational reasoning style which is typical of the so-called Bird-Meertens school.</p>
},
	attachments = {https://haslab.uminho.pt/sites/default/files/lsb/files/1-s2.0-s1571066104806315-main.pdf},
	author = {Luis Soares Barbosa and Jos{\'e} Nuno Oliveira}
}