A User Interface Evaluation Mapping Physical User Actions to Task-Driven Formal Specifications. - Fabio Paternò; M. S. Sciacchitano; Jonas Löwgren (DSV-IS, 1995)