A representation of strongly connected automata and its applications
scientific article; zbMATH DE number 3605918