Julian C. Bradfield. Fixpoint alternation: Arithmetic, transition systems, and the binary tree. ITA, 33(4/5):341-356, 1999.
@article{Bradfield99:0, title = {Fixpoint alternation: Arithmetic, transition systems, and the binary tree}, author = {Julian C. Bradfield}, year = {1999}, tags = {C++}, researchr = {https://researchr.org/publication/Bradfield99%3A0}, cites = {0}, citedby = {0}, journal = {ITA}, volume = {33}, number = {4/5}, pages = {341-356}, }