V. Batagelj, I. Kavkler, and M. Lokar, “CALIBRATE and CAS/DGS resources”, Teach. Math. Comp. Sci., vol. 6, no. 2, pp. 267–279, Dec. 2008, doi: 10.5485/TMCS.2008.0178.