Takáč, Z. MRP Tasks, Critical Thinking and Intrinsic Motivation to Proving. Teach. Math. Comp. Sci. 2010, 8 (1), 149-168. https://doi.org/10.5485/TMCS.2010.0251.