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