Call-by-value games, a typescript, 12p (1997)

by S Abramsky, G McCusker