Butler W. Lampson Lazy and Speculative Execution in Computer Systems. 1-2 2006 conf/opodis/2006 OPODIS http://dx.doi.org/10.1007/11945529_1 db/conf/opodis/opodis2006.html#Lampson06