Хаберланд, Рене. «Сравнительный анализ статических методов верификации динамической памяти». Компьютерные инструменты в образовании, вып. 2, октябрь 2019 г., сс. 5-30, https://doi.org/10.32603/2071-2340-2019-2-5-30.