One way finite visit automata
scientific article; zbMATH DE number 3574990
scientific article