A Survey of Formal Tools and Models for Developing User Interfaces. - Mohammad U. Farooq; Wayne D. Dominick (Int. J. Man Mach. Stud., 1988)