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