Frank Zeyda Bill Stoddart Steve Dunne A Prospective-Value Semantics for the GSL. 187-202 2005 conf/zum/2005 ZB http://dx.doi.org/10.1007/11415787_12 db/conf/zum/zb2005.html#ZeydaSD05