Principles of program analysis - Nielson, Flemming; Hankin, Chris; Nielson, Hanne Riis. (Berlin : Springer, 1999)
Keywords: Computer programming; Computer programs