Michael A. Arbib;Ernest G. Manes
-;-
Automata theory based on complete residuated lattice-valued logic: A categorical approach
Fuzzy Sets and Systems