"Program Analysis Games."

Chris Hankin, Pasquale Malacaria (1999)
a service of Schloss Dagstuhl - Leibniz Center for Informatics