Universal theory of automata : a categorical approach - Ehrig, Hartmut (B.G.Teubner, 1974)