publicações Une approche formelle pour la conception et la vérification de documents hypermedia Documento