Construcción lógica de programas : teoría y problemas resueltos - García Sánchez, Luis (Alfaomega, 2002)