One-reversal counter machines and multihead automata: revisited
scientific article; zbMATH DE number 6093032