Estudiantes: INTRODUCCIÓN A LA FORMALIZACIÓN ESPACIAL