1. Aho and Ullman: Principles of Compiler Design, Addison Wesley, 1977.
2. Bafna V., Jha V.: A multi-processor implementation of Occam2, B.Tech. Thesis, IIT Delhi, May 1989.
3. Clocksin and Mellish: Programming in Prolog, Springer International — 1986.
4. Conery J.: An AND/OR Process Model for Parallel Implementation of Logic Programs, U.C., Irvine, 1983.
5. Gabriel J., Lindholm T., Lusk E., Overbeek R.: A tutorial on the Warren Abstract Machine for computational Logic, Mathematics & Computer Science Division, Argonne National Laboratory.