H. R. Nielson and F. Nielson, “Static and Dynamic Processor Allocation for Higher-Order Concurrent Languages”, DPB, vol. 23, no. 483, Oct. 1994.