М. Р. Старчак, «Некоторые проблемы разрешимости и выразимости для предиката делимости на два последовательных числа», Компьютерные инструменты в образовании, вып. 6, сс. 5–15, дек. 2018, doi: 10.32603/2071-2340-2018-6-5-15.