Towards a Formal Specification Methodology for Iconic Interface Design. - Cinque, Luigi; Costabile, Maria Francesca; Levialdi, Stefano; Missikoff, Michele (1990)