Formalization of a language for the construction of design patterns for learning | Publicación