SMS dit: Teoría general de la programación: (decisiones óptimas)