@book{ TORRES,

author = { JUAN CARLOS TORRES CANTERO } ,

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

}