C. A. S. Santos Luiz Fernando Gomes Soares Guido L. De Souza Jean-Pierre Courtiat Design Methodology and Formal Validation of Hypermedia Documents. 39-48 1998 ACM Multimedia http://doi.acm.org/10.1145/290747.290753 db/conf/mm/mm98.html#SantosSSC98