Universal theory of automata a categorical approach (Teubner, 1974)