Haberland, R. (2019) “Comparative Analysis of Approaches to Static Verification of Dynamic Memory”, Computer Tools in Education, (2), pp. 5-30. doi: 10.32603/2071-2340-2019-2-5-30.