Marie-Pierre Béal Olivier Carton Determinization of Transducers over Infinite Words. 561-570 http://dx.doi.org/10.1007/3-540-45022-X_47 2000 conf/icalp/2000 ICALP db/conf/icalp/icalp2000.html#BealC00