N. Klarlund, M. Mukund, og M. Sohoni, “Determinizing Asynchronous Automata”, DPB, bd. 22, nr. 460, okt. 1993.