Nielson, H. R., and F. Nielson. “Static and Dynamic Processor Allocation for Higher-Order Concurrent Languages”. DAIMI Report Series, vol. 23, no. 483, Oct. 1994, doi:10.7146/dpb.v23i483.6976.