Lange. The Arity Hierarchy in the Polyadic Μ-calculus. Open Publishing Association, Sept. 2015, doi:10.4204/eptcs.191.10.