Rocha, H. O formalismo matemático num contexto de utilização da tecnologia [Mathematical proof in a context of technology integration]. Atas do XXVI SIEM. Évora: APM, 2015.