non-determinism, side-effects, and parallelism: A functional perspective (1986)

by Arrays
Venue:Graph reduction, LNCS 279