Parallel Processes and Related Automata / Parallele Prozesse und damit zusammenhängende Automaten Knödel, W. Heftet / 1980 / Engelsk
