@misc{ TORRES:1997,

author = { JUAN CARLOS TORRES CANTERO } ,

title = { DESING, SPECIFICATION AND VERIFICATION OF INTERACTIVE SYSTEMS '97 },

year = { 1997 },

publisher = { SPRINGER-VERLAG },

isbn = { 3-211-83055-3 },

address = { DESCONOCIDO },

}