PROLOG MULTIPROCESSORS - Wise, Michael J. (Prentice-Hall International, 1986)