%0 Conference Proceedings %F brs2009b %A Bonsangue, M. %A Rutten, J. %A Silva, A. %T An algebra for Kripke polynomial coalgebras %B Proceedings of the 2009 24th Annual IEEE Symposium on Logic In Computer Science-Volume 00 %P 49-58 %U http://www.diku.dk/hjemmesider/ansatte/henglein/papers/bonsangue2009b.pdf %D 2009 %K regexp