Functional Programming For Loosely-Coupled Multiprocessors by Paul Kelly & Phj Kelly