@phdthesis{ GUTIERREZVELA:2001,

title = { ESPECIFICACIÓN FORMAL DE SISTEMAS INTERACTIVOS },

author = { FRANCISCO LUIS GUTIERREZ VELA },

director = { JUAN CARLOS TORRES CANTERO },

school = { UNIVERSIDAD DE GRANADA. LENGUAJES Y SISTEMAS INFORMÁTICOS },

year = { 2001 },

}