Klarlund, N.; Mukund, M.; Sohoni, M. Determinizing Asynchronous Automata on Infinite Inputs. BRICS 1995, 2.