Functional Programming for Loosely-Coupled Multiprocessors - Kelly (IEEE, 2003)