Bradfield, J. C. Fixpoint Alternation: Arithmetic, Transition Systems, and the Binary Tree. BRICS 1998, 5.