@phdthesis{ GEAMEGIAS:1997,

title = { ESPECIFICACION FORMAL DE SISTEMAS GRAFICOS },

author = { MIGUEL GEA MEGIAS },

director = { JUAN CARLOS TORRES CANTERO },

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

year = { 1997 },

}