Krzysztof R. Apt;Ernst-Rüdiger Olderog
-;-
Effective transformations on infinite trees, with applications to high undecidability, dominoes, and fairness
Journal of the ACM (JACM) - The MIT Press scientific computation series
Fairness in parallel programs: the transformational approach
ACM Transactions on Programming Languages and Systems (TOPLAS)