Games and full abstraction for the lazy in the LICS’95 proceedings (1995)

by S Abramsky, G McCusker