Nielson, Flemming Principles of program analysis by Flemming Nielson, Hanne R Nielson and Chris Hankin - Berlin Heidelberg Springer 2005 - xxi, 452p. ISBN: 9783540654100 Dewey Class. No.: 005.30287 / P05;2 (CSA)