Haberland, René. “Comparative Analysis of Approaches to Static Verification of Dynamic Memory”. Computer Tools in Education, no. 2, Oct. 2019, pp. 5-30, https://doi.org/10.32603/2071-2340-2019-2-5-30.