Variations on Constants Flow Analysis of Sequential and Parallel Programs - Müller-Olm, Markus (Springer Berlin Heidelberg, 2006)