Семенець, С. П.  (2006) Навчальне моделювання методів доведення в шкільному курсі математики.  Математика в школі (9).  с. 12-16.