Dietmar Wätjen Categorical Theory of the Simulation of Automata and of Their Transition Monoids. 233-249 1978 14 Elektronische Informationsverarbeitung und Kybernetik 5 db/journals/eik/eik14.html#Watjen78