The Specification Language for the GESTALT Environment. - Silvia Clerici; Fernando Orejas; Pere Botella (ADT, 1988)

Development of Algebraic Specifications with Constraints. - Fernando Orejas; Vera Sacristán; Silvia Clerici (Categorial Methods in Computer Science, 1988)

GSBL: An Algebraic Specification Language Based on Inheritance. - Silvia Clerici; Fernando Orejas (ECOOP, 1988)

The Specification Language GSBL. - Silvia Clerici; Fernando Orejas (ADT, 1990)

Semantic Constructions in the Specification Language GLIDER. - Silvia Clerici; Rosa M. Jiménez; Fernando Orejas (COMPASS/ADT, 1992)

Class-Sort Polymorphism in GLIDER. - Silvia Clerici; Rosa M. Jiménez; Fernando Orejas (COMPASS/ADT, 1995)

Integrating UML and Algebraic Specification Techniques. - Liliana Favre; Silvia Clerici (TOOLS (32), 1999)

A Systematic Approach to Transform UML Static Models to Object-Oriented Code. - Liliana Favre; Silvia Clerici (Unified Modeling Language: Systems Analysis, Design and Development Issues, 2001)

A graphic functional-dataflow language. - Silvia Clerici; Cristina Zoltan (Trends in Functional Programming, 2004)

A dynamically customizable process-centered evaluation model. - Silvia Clerici; Cristina Zoltan (PPDP, 2009)

NiMoToons: a Totally Graphic Workbench for Program Tuning and Experimentation. - Silvia Clerici; Cristina Zoltan; Guillermo Prestigiacomo (PROLE, 2009)

Graphical and incremental type inference. A graph transformation approach. - Silvia Clerici; Cristina Zoltan; Guillermo Prestigiacomo (High. Order Symb. Comput., 2013)