Lluch-Lafuente, Alberto and Montanari, Ugo Quantitative mu-calculus and CTL Based on Constraint Semirings. Electronic Notes in Theoretical Computer Science, 112. pp. 37-59. ISSN 1571-0661 (2005)