1. Types as abstract interpretations;Cousot,1997
2. Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints;Cousot,1977
3. Systematic design of program analysis frameworks;Cousot,1979
4. Simulation of built-in PHP features for precise static code analysis;Dahse,2014
5. An executable formal semantics of PHP;Filaretti,2014