El objetivo del texto es mostrar como es posible calcular los programas, sin necesidad de construirlos y verlso fallar. Esta estructurado en cuatro partes: la primera establece un lenguje de comunicación con el lector; el segundo se centra en los programas recursivos, introduciendo la verificación por induccion, y describiendo la técnica de diseño de programas recursivos. La tercera parte explica como usar los conceptos desarrollados en la segunda para ayudar al diseño y calculo deprogramas itinerarios. La cuarta parte puede verse como una lista de ejemplos de aplicación de los metodos descriptos.