Старчак М. Р. Некоторые проблемы разрешимости и выразимости для предиката делимости на два последовательных числа // Компьютерные инструменты в образовании. Санкт-Петербург, Россия, 2018. № 6. сс. 5-15.