A concurrency monad based on constructor primitives, or, being first-class is not enough (1995)

by E Scholz