Games, call-by-value and Featherweight Java. - Matthew Thomas Burt (2004)