The uniqueness condition for the double pushout transformation of algebras | Publicación