Rocha, H. O formal da matemática e o intuitivo da tecnologia: que articulação?. Atas do ProfMat 2015. Évora, Portugal: APM, 2015.