"An Executable Formal Semantics of PHP."

Daniele Filaretti, Sergio Maffeis (2014)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics