Calcagno, C., Distefano, D., Yang, H., & O'Hearn, P. (2006). Beyond Reachability: Shape Abstraction in the Presence of Pointer Arithmetic. Springer−Verlag.
توثيق أسلوب شيكاغو (الطبعة السابعة عشر)Calcagno, C., D. Distefano, H. Yang, و P. O'Hearn. Beyond Reachability: Shape Abstraction in the Presence of Pointer Arithmetic. Springer−Verlag, 2006.
توثيق جمعية اللغة المعاصرة MLA (الإصدار التاسع)Calcagno, C., et al. Beyond Reachability: Shape Abstraction in the Presence of Pointer Arithmetic. Springer−Verlag, 2006.
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.