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