Automata in semimodule categories | Publicación