Samson Abramsky Pasquale Malacaria Radha Jagadeesan Full Abstraction for PCF. 1-15 1994 conf/tacs/1994 TACS db/conf/tacs/tacs94.html#AbramskyMJ94