@Article{MM07,
author={A. McIver and C. Morgan},
title={Results on the quantitative mu-calculus {qMu}},
journal={ACM Transactions on Computational Logic},
year={2007},

volume={8},
number={1},
pages={},
_month={},
note={},
key={}
}