Technion - Israel Institute of Technology
		236607 - Advanced Course in Program Analysis and Synthesis
		Winter 2011-2012
	Literature Principles of Program Analysis Author:   Flemming Nielson, Hanne R. Nielson, Chris Hankin Published by:   Springer Link:   http://www2.imm.dtu.dk/~riis/PPA/ppa.html