@book{595,
	author = {Martí Oliet, Narciso and Segura Díaz, Clara María},
	title = {Especifiación, derivación y análisis de algoritmos : },
	publisher = {Pearson, },
	year = {2006.},
	address = {Madrid : }
}