David Sands Jörgen Gustavsson Andrew Moran Lambda Calculi and Linear Speedups. 60-84 2002 conf/birthday/2002jones The Essence of Computation http://link.springer.de/link/service/series/0558/bibs/2566/25660060.htm db/conf/birthday/jones2002.html#SandsGM02