@book{ Rodríguez,

author = { Alejandro Rodríguez Aguilera } ,

title = { ESPECIFICACIÓN ALGEBRAICA APLICADA A INGENIERÍA DEL SOFTWARE },

}