@InProceedings{BK95,
author={M. Bonsangue and M. Kwiatkowska},
title={Re-interpreting the modal mu-calculus},
booktitle={Proc. Modal Logic and Process Algebra},
year={1995},

editor={},
pages={65-83},
organization={},
publisher={CSLI Publications},
series={CSLI Lecture Notes},
volume={53},
address={},
month={},
note={},
key={}
}