@Article{AKM95,
author={S. Ambler and M. Kwiatkowska and N. Measor},
title={Duality and the completeness of the modal mu-calculus},
journal={Theoretical Computer Science},
year={1995},

volume={151},
number={},
pages={3-27},
publisher={},
month={},
note={},
key={}
}