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