A succinct canonical register automaton model
scientific article; zbMATH DE number 6376570
scientific article