1. Bojańczyk, M.: Weak MSO with the unbounding quantifier. Theory Comput. Syst. 48(3), 554–576 (2011)
2. Bojańczyk, M., Colcombet, T.: Bounds in $$\omega $$-regularity. In: LICS, pp. 285–296 (2006)
3. Bojańczyk, M., Toruńczyk, S.: Deterministic automata and extensions of weak MSO. In: FSTTCS, pp. 73–84 (2009)
4. Cabessa, J., Duparc, J., Facchini, A., Murlak, F.: The Wadge hierarchy of max-regular languages. In: FSTTCS, pp. 121–132 (2009)
5. Colcombet, T.: Forms of determinism for automata. In: STACS, pp. 1–23 (2012)