doi dblp Hyperdocuments as Automata: Verification of Trace-Based Browsing Properties by Model Checking P. David Stotts | Richard Furuta | Cyrano Ruiz Cabarrus 1998 Volume 16 Issue 1