The Input Model of Standard Graphics Systems Revisited by Formal Specification. - Giorgio P. Faconti; Nicola Zani; Fabio Paternò (Comput. Graph. Forum, 1992)

Visual Representation of Formal Specification: an Application to Hierarchical Logical Input Devices. - Giorgio P. Faconti; Angelo Fornari; Nicola Zani (DSV-IS, 1994)