"Full Abstraction for PCF."

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