Hyperdocuments as Automata: Trace-Based Browsing Property Verification. - P. David Stotts; Richard Furuta; J. Cyrano Ruiz (ECHT, 1992)