1. Petri net objects for the design, validation and prototyping of user-driven interfaces;Bastide,1990
2. A Selective Undo Mechanism for Graphical User Interfaces Based on Command Objects;Berlage;ACM Transactions on Computer-Human Interaction,1994
3. Towards Specifying and Evaluating the Human Factors of User-Computer Interfaces;Bleser;Human Factors in Computer Systems,1982
4. Building User Interfaces by Direct Manipulation;Cardelli,1988
5. Prototyping and Simulation Tools for User/Computer Dialogue Design;Hanau;Computer Graphics,1980