@inproceedings{LICS-2009-BonsangueRS,
	author        = "Marcello M. Bonsangue and Jan J. M. M. Rutten and Alexandra Silva",
	booktitle     = "{Proceedings of the 24th Annual IEEE Symposium on Logic in Computer Science}",
	doi           = "10.1109/LICS.2009.18",
	isbn          = "978-0-7695-3746-7",
	pages         = "49--58",
	publisher     = "{IEEE Computer Society}",
	title         = "{An Algebra for Kripke Polynomial Coalgebras}",
	year          = 2009,
}