Nielson, H. R.; Nielson, F. Static and Dynamic Processor Allocation for Higher-Order Concurrent Languages. DPB 1994, 23.