J. C. Bradfield og P. Stevens, “Observational Mu-Calculus”, BRICS, bd. 6, nr. 5, jan. 1999.