Generic infinite traces and path-based coalgebraic temporal logics
scientific article; zbMATH DE number 6089942
scientific article