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