Better complexity bounds for cost register automata
scientific article; zbMATH DE number 7204358