HCI formalisms and cognitive psychology: the case of task-action grammar

Predicting the learnability of task-action mappings

CHI '91 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems

An agenda for human-computer interaction: science and engineering serving human needs

ACM SIGCHI Bulletin

Integrating status and event phenomena in formal specifications of interactive systems

SIGSOFT '94 Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering

Software engineering for human computer interaction: papers from a workshop on formal methods for the design of interactive systems, York, UK, 23rd July 1993

ACM SIGCHI Bulletin

Characterizing the sequential structure of interactive behaviors through statistical and grammatical techniques

Human-Computer Interaction