Santocanale, Luigi. 2000. “The Alternation Hierarchy for the Theory of Mu-Lattices”. BRICS Report Series 7 (29). https://doi.org/10.7146/brics.v7i29.20163.