For:
Foundations of Secure Web Programming > Language-based Web Security
http://wp.doc.ic.ac.uk/fswp/project/kphp-formalization-of-the-php-programming-language/
