1. LISP;Winston,1989
2. S-SLD-resolution-An Operational Semantics for Logic Programs with External Procedures;Boye,1991
3. A. Corradi and L. Leonardi, Parallelism in Object-Oriented Languages, Proc. of OOPSLA '90.
4. Parallel Execution of Logic Programs;Conery,1987
5. The Implementation of Functional Programming Languages;Simon,1987