@inproceedings{inproceedingsef1b1604,
title   = {Automatic HTML generation from formal hypermedia specifications},
author = {Shibuya, Rosemeire and Leiva, Willie Dresler and Oliveira, Maria Cristina Ferreira de and Masiero, Paulo Cesar},
year = {2001},
publisher = {IEEE},
booktitle   = {Annual Hawaii International Conference on System Sciences}
}