APA-referens (7:e uppl.)
ebrary, Inc, & Boulanger, J. (2012). Static analysis of software: The abstract interpretation. Wiley.
Chicago-referens (17:e uppl.)
ebrary, Inc, och Jean-Louis Boulanger. Static Analysis of Software: The Abstract Interpretation. Hoboken, N.J.: Wiley, 2012.
MLA-referens (9:e uppl.)
ebrary, Inc, och Jean-Louis Boulanger. Static Analysis of Software: The Abstract Interpretation. Wiley, 2012.
Varning: dessa hänvisningar är inte alltid fullständigt riktiga.