N. Klarlund, M. Mukund, og M. Sohoni, “Determinizing Asynchronous Automata on Infinite Inputs”, BRICS, bd. 2, nr. 58, nov. 1995.