Construcción lógica de programas : teoría y problemas resueltos - García Sánchez, Luis; Cuadrado Gallego, Juan José; De Amescua Seco, Antonio; Velasco de Diego, Manuel (Alfaomega ; Ra-Ma, 2002)