Lattice-valued finite state machines and lattice-valued transformation semigroups
scientific article; zbMATH DE number 6111162