References

[NNH99]

Flemming Nielson, Hanne-Riis Nielson, and Chris Hankin. Principles of Program Analysis. Springer-Verlag, 1999.