A formal approach to analyzing the browsing semantics of hypertext

This paper combines the operations offered by the hypertext system (or presentation layer) with the link structure of the document, in order to characterize the browsing semantics of document and system as a unity.