Højsted, I. H. “Proof As an Explanation of Dynamic Geometry Generated Conjectures – Task Design in a Toolbox Puzzle Approach”. NOMAD Nordic Studies in Mathematics Education, vol. 28, no. 3-4, Dec. 2023, pp. 157–176, doi:10.7146/nomad.v28i3-4.149266.