Depuración del diseño lógico de la CPUCR - Aimé Gamboa, Frantz (2001)