Brengos, T., Wagner, M., 2018. A Coalgebraic Take on Regular and omega-Regular Behaviour for Systems with Internal Moves.. https://doi.org/10.4230/lipics.concur.2018.25