Klarlund, N., Mukund, M., & Sohoni, M. (1995). Determinizing Asynchronous Automata on Infinite Inputs. BRICS Report Series, 2(58). https://doi.org/10.7146/brics.v2i58.19959