An Algebraic Dexter-Based Hypertext Reference Model