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