Hyperdocuments as Automata: Verification of Trace-Based Browsing Properties by Model Checking. - P. David Stotts; Richard Furuta; Cyrano Ruiz Cabarrus (ACM Trans. Inf. Syst., 1998)