Advanced Symbolic Analysis For Compilers by Thomas Fahringer & Bernhard Scholz