Paul Feautrier Basis of Parallel Speculative Execution. 3-14 1997 conf/europar/1997 Euro-Par db/conf/europar/europar97.html#Feautrier97 http://dx.doi.org/10.1007/BFb0002713