Estudiants: Tècniques de descripció formal