Haberland R. Comparative Analysis of Approaches to Static Verification of Dynamic Memory // Computer Tools in Education. St. Petersburg, Russia, 2019. № 2. Pp. 5-30.