P-Prolog, a parallel logic programming language - Yang, Rong. (World Scientific, 1987)
Based on the author's thesis (Ph. D.)–Keio University, 1986.