ebrary, Inc, & Boulanger, J. (2012). Static analysis of software: The abstract interpretation. Wiley.
توثيق أسلوب شيكاغو (الطبعة السابعة عشر)ebrary, Inc, و Jean-Louis Boulanger. Static Analysis of Software: The Abstract Interpretation. Hoboken, N.J.: Wiley, 2012.
توثيق جمعية اللغة المعاصرة MLA (الإصدار التاسع)ebrary, Inc, و Jean-Louis Boulanger. Static Analysis of Software: The Abstract Interpretation. Wiley, 2012.
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.