Games for recursive types - Abramsky, S; McCusker, G (Imperial College Press, 1995)