Inferring regular languages and ω -languages - Fisman, Dana (Journal of logical and algebraic methods in programming, 2018)