Construcción Lógica de programas : - Juan José Cuadrado gallego; Antonio de Amescua Seco; Manuel Velasco de Diego (Alfaomega, 2026)