МАТИЯСЕВИЧ, Ю. В. Математическое доказательство: вчера, сегодня, завтра. Computer Tools in Education, n. 6, 23 Jan. 2014.