A formal framework for the specification, analysis and generation of standardized hypermedia documents | IEEE Conference Publication | IEEE Xplore