Bradfield, J. C.; Stevens, P. Observational Mu-Calculus. BRICS 1999, 6.