Formalizing functional parallelism - Girkar, Milind; Polychronopoulos, Constantine D. 1958- (1991)