1. Bottoni, P., Costabile, M.F., Mussio, P. (1999): Specification and Dialogue Control of Visual Interaction through Visual Rewriting Systems, ACM TOPLAS. 21(6) 1077–1136.
2. Cassino, R., Tortora, G., Tucci, M., Vitiello G. (2003): SR-Task Grammars: A Formal Specification of Human Computer Interaction for Interactive Visual Languages – 2003 Symposium on Visual Languages and Formal Methods (VLFM ‘03) – IEEE Symposia on Human-Centric Computing Languages and Environments (HCC’03)
3. Cassino, R., Tortora, G., Tucci, M., Vitiello G. (2006): A Methodology for Computer Supported Development of Interactive Visual Applications – WSEAS Transactions On Information Science and Applications Journal.
4. GEDISAC – An innovative approach to the development of Graphical User Interfaces” -
http://www.txtgroup.com/newsletter/attachment/gedisac_leaflet.pdf
.
5. Minas, M. (2002): Specifying Graph-like Diagrams with Dia Gen – Electronic Notes in Theoretical Computer Science”, Volume 72, Issue 2, November 2002, Pages 102–111.