Especificación formal de un metamodelo de diseño OO y de patrones GoF basado en roles : su aplicación a patrones GoF de comportamiento - Reynoso, Luis A. (2003)