"Full Abstraction for PCF."

Samson Abramsky, Radha Jagadeesan, Pasquale Malacaria (2000)
a service of Schloss Dagstuhl - Leibniz Center for Informatics