Teoria-Computacional Programas relacionados con problemas computacionales./Relational programs with computational problems.