Lutz Priese: Finite Automata on Unranked and Unordered DAGs. Developments in Language Theory 2007: 346-360