P-Prolog a parallel logic programming language - Yang, Rong (World Scientific, 1987)