J. C. Bradfield, “Fixpoint Alternation: Arithmetic, Transition Systems, and the Binary Tree”, BRICS, bd. 5, nr. 53, dec. 1998.