Gilbert Cockton
-
Early specification of user-interfaces: toward a formal approach
ICSE '97 Proceedings of the 19th international conference on Software engineering
Unified user interface development
The human-computer interaction handbook