Juan Carlos Torres, Buenaventura Clares RodrÃguez. Understanding Direct Manipulation Interaction Algebraically. In Fabio Paternò, editor, Design, Specification and Verification of Interactive Systems 94, Proceedings of the First International Eurographics Workshop, June 8-10, 1994, Bocca di Magra, Italy. pages 429-444, Springer, 1994.