J. B. Burgess, “Construction Theorems and Constructive Proofs in Geometry”, JPM, vol. 1, pp. 23–41, Sep. 2024.