Chin, W.N., David, C., Nguyen, H.H., Qin, S., "Multiple Pre/Post Specifications for Heap-Manipulating Methods", , 2007