@inproceedings{inproceedingsb3f88927,
title   = {Formal approach to consistency and reuse of links in hypermedia applications},
author = {Fortes, Renata Pontin de Mattos and Garcia Neto, Alvaro and Nicoletti, M C},
year = {1996},
publisher = {Acm},
booktitle   = {Chi 96 Workshop on Formal Methods in Computer Human Interactions: Comparison, Benefits, Open Questions}
}