Static analysis of software : the abstract interpretation / ed. J. -L. Boulanger, 2012. - XIV, 331 p. - Текст : непосредственный.