Bradfield, J. C. and Stevens, P. (1999) “Observational Mu-Calculus”, BRICS Report Series, 6(5). doi: 10.7146/brics.v6i5.20062.