I. Vajda, “Problems of computer-aided assessment of mathematical knowledge”, Teach. Math. Comp. Sci., vol. 11, no. 1, pp. 41–52, Jun. 2013, doi: 10.5485/TMCS.2013.0327.