Lógica y matemáticas discretas en la informática
Diseño Efectivo de Programas Correctos
Diseño de algoritmos