@conference {BRS09a,
	title = {A Kleene theorem for polynomial coalgebras},
	booktitle = {Proceedings of the Twelfth International Conference on Foundations of Software Science and Computation structures (FoSSaCS 2009)},
	series = {Lecture Notes in Computer Science},
	volume = {5504},
	year = {2009},
	month = {March},
	pages = {122{\textendash}136},
	publisher = {Springer},
	organization = {Springer},
	address = {York, UK },
	abstract = {<p>For polynomial functors G, we show how to generalize the classical notion of regular expression to G-coalgebras. We introduce a language of expressions for describing elements of the final G-coalgebra and, analogously to Kleene{\textquoteright}s theorem, we show the correspondence between expressions and finite G-coalgebras.</p>
},
	attachments = {https://haslab.uminho.pt/sites/default/files/xana/files/brs09a.pdf},
	author = {Marcello Bonsangue and Jan Rutten and Alexandra Silva}
}