Хаберланд Р. Сравнительный анализ статических методов верификации динамической памяти // Компьютерные инструменты в образовании. Санкт-Петербург, Россия, 2019. № 2. сс. 5-30.