J. C. Bradfield and P. Stevens, “Observational Mu-Calculus”, BRICS, vol. 6, no. 5, Jan. 1999.