Techniques of artificial intelligence - Shapiro, Stuart C (New York D Van Nostrand, 1979)