@book{587,
	author = {García Sánchez, Luis, and Cuadrado Gallego, Juan José,},
	title = {Construcción lógica de programas /},
	publisher = {Alfaomega ; Ra-Ma},
	year = {2002},
	address = {México  : },
	note = {Incluye anexos}
}