State trees as structured finite state machines for user interfaces

This publication has 10 references indexed in Scilit:

• On visual formalisms
  Communications of the ACM, 1988
• Relations as semantic constructs in an object-oriented language
  Published by Association for Computing Machinery (ACM) ,1987
• A survey of three dialogue models
  ACM Transactions on Graphics, 1986
• Supporting concurrency, communication, and synchronization in human-computer interaction—the Sassafras UIMS
  ACM Transactions on Graphics, 1986
• Specifying complex dialogs in ALGAE
  Published by Association for Computing Machinery (ACM) ,1986
• An approach to the formal analysis of user complexity
  International Journal of Man-Machine Studies, 1985
• Pushdown automata for user interface management
  ACM Transactions on Graphics, 1984
• SYNGRAPH
  Published by Association for Computing Machinery (ACM) ,1983
• Using formal specifications in the design of a human-computer interface
  Communications of the ACM, 1983
• Transition network grammars for natural language analysis
  Communications of the ACM, 1970