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