Facundo Carreiro, Alessandro Facchini, Yde Venema, Fabio Zanasi: Weak MSO: automata and expressiveness modulo bisimilarity. CSL-LICS 2014: 27:1-27:27