Automata in semimodule categories. - José Meseguer 001; Ignacio Sols (Category Theory Applied to Computation and Control, 1974)