Balder ten Cate, Gaëlle Fontaine: An Easy Completeness Proof for the Modal mu-Calculus on Finite Trees. FICS 2009: 30-38