A necessary condition on invertibility of finite automata
scientific article; zbMATH DE number 1150132