Klarlund, N.; Mukund, M.; Sohoni, M. Determinizing Asynchronous Automata. DPB 1993, 22.