A Survey of Formal Tools and Models for Developing User Interfaces.

Mohammad U. Farooq Wayne D. Dominick A Survey of Formal Tools and Models for Developing User Interfaces. 479-496 1988 29 International Journal of Man-Machine Studies 5 db/journals/ijmms/ijmms29.html#FarooqD88 http://dx.doi.org/10.1016/S0020-7373(88)80007-5