ebrary, Inc, & Boulanger, J. (2012). Static analysis of software: The abstract interpretation. Wiley.
Trích dẫn kiểu Chicago (xuất bản lần thứ 7)ebrary, Inc, và Jean-Louis Boulanger. Static Analysis of Software: The Abstract Interpretation. Hoboken, N.J.: Wiley, 2012.
Trích dẫn kiểu MLA (xuất bản lần thứ 9)ebrary, Inc, và Jean-Louis Boulanger. Static Analysis of Software: The Abstract Interpretation. Wiley, 2012.
Cảnh báo: Các trích dẫn này có thể không phải lúc nào cũng chính xác 100%.