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