1. I. Bratko: Prolog - Programming for Artificial Intelligence (Addison-Wesley, Reading, Mass. 1990 [2nd edition])
2. K.M. Chandy, J. Misra: Parallel Program Design: A Foundation (Addison-Wesley, Reading, Mass. 1988 )
3. C.C. Chang, R.C. Lee: Symbolic Logic and Mechanical Theorem Proving ( Academic Press, New York 1973 )
4. J.W. De Bakker, L.G.L.T. Meertens: On the Completeness of the Inductive Assertion Method’. Journal of Computer and System Sciences 11 (1975) 323357
5. E.W. Dijkstra: A discipline of programming ( Prentice Hall, New Jersey 1976 )