Finkel, et al.. Polishness of Some Topologies Related to Word or Tree Automata. 7 May 2019.