Chin, et al.. Enhancing Modular OO Verification with Separation Logic. ACM Press, 2008, doi:10.1145/1328438.1328452.