One-way simple multihead finite automata
scientific article; zbMATH DE number 3635505