1. Bacon, D.F., Sweeney, P.F.: Fast static analysis of c++ virtual function calls. In: OOPSLA 1996: Proceedings of the 11th ACM SIGPLAN Conference on Object-oriented Programming, Systems, Languages, and Applications. ACM, New York (1996)
2. Clarke, E.M., Grumberg, O., Peled, D.: Model Checking. MIT Press, Cambridge (2000)
3. Cousot, P., Cousot, R.: Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints. In: Conf. Record of the 4th ACM Symposium on Principles of Programming Languages, POPL, Los Angeles, CA, pp. 238–252 (1977)
4. Freitag, B., Margaria, T., Steffen, B.: A pragmatic approach to software synthesis. In: Workshop on Interface Definition Languages, pp. 46–58 (1994)
5. Hecht, M.S.: Flow Analysis of Computer Programs. Elsevier, North-Holland (1977)