An Algebraic Formalization of the GoF Design Patterns | Publicación