A Tool-supported Approach to the Refinement of Interactive Systems. - Fabio Paternò; Ales Leonardi; S. Pangoli (DSV-IS, 1994)

A Semantics-Based Approach for the Design and Implementation of Interaction Objects. - Fabio Paternò; Ales Leonardi (Comput. Graph. Forum, 1994)