Klarlund, Nils, Madhavan Mukund, and Milind Sohoni. “Determinizing Asynchronous Automata on Infinite Inputs”. BRICS Report Series 2, no. 58 (November 28, 1995). Accessed April 27, 2024. https://tidsskrift.dk/brics/article/view/19959.