A Design Methodology for the Formal Specification and Verification of Hypermedia Documents
Celso Alberto Saibel Santos
J. P. COURTIAT