https://www.u-cursos.cl/ingenieria/2011/2/MA5503/1/datos_curso/
MA5503-1 Introducción a la Dinámica Simbólica