(en) David Janin et Igor Walukiewicz « On the Expressive Completeness of the Propositional Mu-Calculus With Respect to Monadic Second Order Logic » () (lire en ligne, consulté le ) —CONCUR '96: Concurrency Theory — « (ibid.) », dans Lecture Notes in Computer Science, vol. 1119, Springer.