Calcagno, et al.. Compositional Shape Analysis by Means of Bi-abduction. Association for Computing Machinery (ACM), Jan. 2009, doi:10.1145/1594834.1480917.