"Hyperdocuments as Automata: Trace-Based Browsing Property Verification."

P. David Stotts, Richard Furuta, J. Cyrano Ruiz (1992)
a service of Schloss Dagstuhl - Leibniz Center for Informatics