@inbook{ TORRES:225-240,

author = { JUAN CARLOS TORRES CANTERO } ,

title = { ALGEBRAIC SPECIFICATION OF A WORLD WIDE WEB APPLICATION USING GRALPLA },

booktitle = { FORMAL METHODS IN HUMAN-COMPUTER INTERACTION },

isbn = { 3-540-76158-6 },

publisher = { DESCONOCIDO },

pages = { 225 - 240 },

year = { 1997 },

}