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