The reader as explorer: tools for textual navigation | IEEE Conference Publication | IEEE Xplore