Manfred Droste: Concurrency, Automata and Domains. ICALP 1990: 195-208