Савіцька, М. А., Ленчук, І. Г. (2014) Формалізація і унаочнення позиційних задач в геометрії. ЖДУ ім. І.Франка. (Неопублікований)