Programs with lists are counter automata
scientific article; zbMATH DE number 5898959
scientific article