The Formal Specification for a Hypermedia Authoring Tool