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