Coalgebraic minimization of automata by initiality and finality
scientific article; zbMATH DE number 6862933
scientific article