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