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