@inbook{ TORRES_Gea-Megias_GUTIERREZ_CABRERA_RODRIGUEZ:272-291,

author = { JUAN CARLOS TORRES CANTERO and Miguel Gea-Megias and FRANCISCO LUIS GUTIERREZ VELA and MARCELINO JOSE CABRERA CUEVAS and MARIA LUISA RODRIGUEZ ALMENDROS } ,

title = { GRALPLA: AN ALGEBRAIC SPECIFICATION LANGUAGE FOR INTERACTIVE GRAPHICS SYSTEMS },

booktitle = { DESIGN, SPECIFICATION AND VERIFICATION OF INTERACTIVE SYSTEMS 1996 },

isbn = { 3-211-82900-8 },

publisher = { SPRINGER-VERLAG },

pages = { 272 - 291 },

year = { 1996 },

}