Enviar registro por correo electrónico: Computabilidad, complejidad computacional y verificación de programas /