Quantitative kleene coalgebras - Rutten, Jan (2011)