A formal framework for the specification, analysis and generation of standardized hypermedia documents
Roberto Willrich,P. Sénac,M. Diaz,Pierre de Saqui-Sannes