Santocanale, L. (2000) “The Alternation Hierarchy for the Theory of mu-lattices”, BRICS Report Series, 7(29). doi: 10.7146/brics.v7i29.20163.