@inbook{inbook48b68625,
title   = {A formal approach to consistency and reuse of links in World Wide Web applications},
author = {Fortes, Renata Pontin de Mattos and Nicoletti, M do Carmo and Garcia Neto, Alvaro},
year = {1997},
publisher = {Springer-Verlag},
journal   = {Formal Methods in Human-Computer Interaction}
}