The dual equivalence of equations and coequations for automata | Publicación