Completeness of Kozen's axiomatisation of the propositional /spl mu/-calculus | IEEE Conference Publication | IEEE Xplore