Weak minimization of DFA -- an algorithm and applications
scientific article; zbMATH DE number 2126087