A formal approach to hypertext using post-prototype formal specification

This publication has 9 references indexed in Scilit:

• An algebra for structured office documents
  ACM Transactions on Information Systems, 1989
• An example of formal specification as an aid to design and development
  ACM SIGSOFT Software Engineering Notes, 1989
• Formally specifying electronic instruments
  ACM SIGSOFT Software Engineering Notes, 1989
• Petri-net-based hypertext: document structure with browsing semantics
  ACM Transactions on Information Systems, 1989
• Abstraction mechanisms in hypertext
  Communications of the ACM, 1988
• Reflections on NoteCards: seven issues for the next generation of hypermedia systems
  Communications of the ACM, 1988
• Contexts—a partitioning concept for hypertext
  ACM Transactions on Information Systems, 1987
• User interface design for the Hyperties electronic encyclopedia (panel session)
  Published by Association for Computing Machinery (ACM) ,1987
• Neptune: a hypertext system for CAD applications
  ACM SIGMOD Record, 1986