D'Silva, V., Haller, L., Kroening, D., & Jagannathan, S. (2014). Abstract Satisfaction. ACM.
توثيق أسلوب شيكاغو (الطبعة السابعة عشر)D'Silva, V., L. Haller, D. Kroening, و S. Jagannathan. Abstract Satisfaction. ACM, 2014.
توثيق جمعية اللغة المعاصرة MLA (الإصدار التاسع)D'Silva, V., et al. Abstract Satisfaction. ACM, 2014.
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.