"Variations on Constants: Flow Analysis of Sequential and Parallel Programs (Lecture Notes in Computer Science Programming and Software Engineering)" - читать интересную книгу автора (Markus Müller-Olm)