Luigi Liquori, Furio Honsell, Rekha Redamalla. A Language for Verification and Manipulation of Web Documents.
Proceedings of the International Workshop on Automated Specification and Verification of Web Sites (WWV 2005), May 2005, Valencia, Spain. pp.67-78,
⟨10.1016/j.entcs.2005.12.046⟩.
⟨hal-01148880⟩