DUCK, et al.. Shape Neutral Analysis of Graph-based Data-structures. no. 3-4, Cambridge University Press (CUP), 2018, doi:10.1017/s147106841800025x.