Algorithm + strategy = parallelism (1998)

by P W Trinder, K Hammond, H-W Loidl, S L Peyton Jones
Venue:JFP