A formal approach to consistency and reuse of links in World Wide Web applications - Fortes, Renata Pontin de Mattos; Nicoletti, M do Carmo; Garcia Neto, Alvaro (Formal Methods in Human-Computer Interaction, 1997)