GHILARDIand GOOL. A MODEL-THEORETIC CHARACTERIZATION OF MONADIC SECOND ORDER LOGIC ON INFINITE WORDS. no. 01, Cambridge University Press (CUP), 2017, doi:10.1017/jsl.2016.70.