Lothar Budach Christoph Meinel Environment and Automata II. 115-139 1982 18 Elektronische Informationsverarbeitung und Kybernetik 3 db/journals/eik/eik18.html#BudachM82a