Z. Takáč, “MRP tasks, critical thinking and intrinsic motivation to proving”, Teach. Math. Comp. Sci., vol. 8, no. 1, pp. 149–168, Jun. 2010, doi: 10.5485/TMCS.2010.0251.