2012. Математическое доказательство: вчера, сегодня, завтра. Computer Tools in Education. 6 (Dec. 2012).