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