A representation of strongly connected automata and its applications (Q1251071)

From MaRDI portal