Her paper on control flow analyis written in 1970 is a better intro to flow analysis than most compiler books you will find today (IMHO): http://www.cs.columbia.edu/~suman/secure_sw_devel/p1-allen.p...

Though it covers intervals, which no longer are used due to other abstractions being found to be better later on.