Christof Löding: Optimal Bounds for Transformations of omega-Automata. FSTTCS 1999: 97-109