Thomas. Optimizing Winning Strategies in Regular Infinite Games. Springer Berlin Heidelberg, doi:10.1007/978-3-540-77566-9_10.