Jankvist, UT; Geraniou, E; (2021) “Whiteboxing” the Content of a Formal Mathematical Text in a Dynamic Geometry Environment. Digital Experiences in Mathematics Education , 7 pp. 222-246. 10.1007/s40751-021-00088-6.