-J. Beer: Concepts, Design, and Performance Analysis of a Parallel Prolog Machine, Springer-Verlag 1989