Adam Back: Parallelization of general purpose programs using optimistic techniques from parallel discrete event simulation. University of Exeter, Devon, UK 1995