@Article{ GUTIERREZ_Gea-Megias_TORRES:1-1,

author = { FRANCISCO LUIS GUTIERREZ VELA and Miguel Gea-Megias and JUAN CARLOS TORRES CANTERO } ,

title = { VERIFICATION OF INTERACTIVE SYSTEM USING ALGEBRAIC SPECIFICATION },

journal = { Eurographics technical report series },

year = { 1998 },

pages = { 1-1 },

}