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

volume={},
number={},
pages={},
_month={},
note={To appear},
key={}
}