Formalizing the learner model for CSCL environments | Publicación