Categorical theory of the simulation of automata and of their transition monoids - Wätjen, Dietmar (1977)