Finite Automata on Unranked and Unordered DAGs
scientific article; zbMATH DE number 5215387