Atto, M. “Graph Inclusion and Matching Algorithms for Programs Manipulating Singly Linked Heaps”. Science Journal of University of Zakho, Vol. 9, no. 1, Mar. 2021, pp. 30-37, doi:10.25271/sjuoz.2021.9.1.778.