Klarlund, N., Mukund, M. and Sohoni, M. (1993) “Determinizing Asynchronous Automata”, DAIMI Report Series, 22(460). doi: 10.7146/dpb.v22i460.6933.