A specification language for direct-manipulation user interfaces
ACM Transactions on Graphics (TOG) - Special issue on user interface software
Using formal specifications in the design of a human-computer interface
Communications of the ACM
The natural language of interactive systems
Communications of the ACM
Executable specifications for a human-computer interface
CHI '83 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Using formal specifications in the design of a human-computer interface
CHI '82 Proceedings of the 1982 Conference on Human Factors in Computing Systems
| Hi-index | 0.03 |