Universal theory of automata : a categorical approach - Ehrig, Hartmut; Kiermeier, K.D.; Kreowski, H.J. (B.G.Teubner, 1974)