L. Santocanale, “The Alternation Hierarchy for the Theory of mu-lattices”, BRICS, bd. 7, nr. 29, jan. 2000.