Beyond ωBS-regular Languages: ωT-regular Expressions and Counter-Check Automata | Publicación