Design Methodology and Formal Validation of Hypermedia Documents. - Celso A. S. Santos; Luiz Fernando Gomes Soares; Guido L. De Souza; Jean-Pierre Courtiat (ACM Multimedia, 1998)

Formal Specification and Verification of Hypermedia Documents based on the Nested Context Model. - Celso A. S. Santos; Jean-Pierre Courtiat; Luiz Fernando Gomes Soares; Guido L. De Souza (MMM, 1998)