V. Saletore, "Machine Independent Parallel Execution of Speculative Computations",
Dept. of Computer Science, University of Illinois, 1990.