Guy McCusker Games and Full Abstraction for FPC. 1-61 2000 160 Inf. Comput. 1-2 db/journals/iandc/iandc160.html#McCusker00