Extensions of Semilattices

[1]  Michael A. Arbib,et al.  Fuzzy morphism in automata theory , 1974, Category Theory Applied to Computation and Control.

[2]  Hartmut Ehrig,et al.  Universal Theory of Automata , 1976 .