Nguyen, H.-H., David, C., Qin, S., Chin, W.-N., Cook, B., Podelski, A., "Automated Verification of Shape and Size Properties via Separation Logic", , 2007