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