On functions and games (1996)

by Guy McCusker