1. Torres, J.C.; Gea, M.; Gutiérrez, F.L.; Cabrera, M.; Rodriguez, M.: The GRALPLA Specification Language. Dpto. Lenguajes y Sistemas Informâticos, Universidad de Granada, Spain. Internal Report 96–1, 1996.
2. Torres, J.C; Gea, M.; Gutiérrez, F.L.; Cabrera, M.; Rodriguez, M.: GRALPLA: An Algebraic Specification Language For Interactive Graphic Systems. Design, Specification and Verification of Interactive Systems, F. Bodart, J. Vanderdonck (eds.). Springer Verlag, 1996. pp. 272–291
3. Gea, M. Especificaciôn Formal de Sistemas Grâficos. PhD Dissertation, Department of Lenguajes y Sistemas Informâticos, University of Granada, Granada, Spain. June 1997.
4. Sukaviriya, P.; Foley, J.D.; Griffith, T.: A second generation user interface design environment: The model and the runtime architecture. ACM INTERCHI 93 Proceedings. ACM, 1993.
5. Sukaviriya, P.; Muthukumarasamy, J.; Frank, M.; Foley, J.D.: A Model-based User Interface Architecture: Enhancing a Runtime Environment with Declarative Knowledge. Eurographics Workshop on Design, Specification and Verification of Interactive Systems, DSV-IS’94. Pisa. 1994