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