@inproceedings{inproceedings67dbb8b0,
title   = {Especificação formal de hiperdocumentos baseada em statecharts},
author = {Paulo, Fabiano Borges and Masiero, Paulo Cesar},
year = {1998},
publisher = {SBC},
booktitle   = {Congresso Nacional da Sociedade Brasileira de Computação}
}