Samson Abramsky Game Semantics for Programming Languages (Abstract). 3-4 1997 conf/mfcs/1997 MFCS db/conf/mfcs/mfcs97.html#Abramsky97 http://dx.doi.org/10.1007/BFb0029944