No. 53 (1998): RS-53 Fixpoint Alternation: Arithmetic, Transition Systems, and the Binary Tree