1. From Fairness to Chance;L. de Alfaro;ENTCS,1999
2. Code Aware Resource Management;L. de Alfaro,2005
3. Finitary Fairness;R. Alur;ACM Trans. on Programming Languages and Systems,1998
4. Balanced Paths in Colored Graphs;A. Bianco,2009
5. Finitary Winning in omega-Regular Games;K. Chatterjee,2006