@inbook{ CABRERA_TORRES_Gea-Megias:67-83,

author = { MARCELINO JOSE CABRERA CUEVAS and JUAN CARLOS TORRES CANTERO and Miguel Gea-Megias } ,

title = { TOWARDS USER INTERFACES PROTOTYPING FROM ALGEBRAIC SPECIFICATION },

booktitle = { DESIGN, SPECIFICACTION AND VERIFICATION OF INTERACTIVE SYSTEMS'99 },

isbn = { 3-211-83405-2 },

publisher = { DESCONOCIDO },

pages = { 67 - 83 },

year = { 1999 },

}