Bradfield, J. C. (1998) “Fixpoint Alternation: Arithmetic, Transition Systems, and the Binary Tree”, BRICS Report Series, 5(53). doi: 10.7146/brics.v5i53.19499.