L. Santocanale, “The Alternation Hierarchy for the Theory of mu-lattices”, BRICS, vol. 7, no. 29, Jan. 2000.