A flexible efficient computer system to answer human questions : THE DL PROGRAMMING LANGUAGE FOR ARTIFICIAL INTELLIGENCE APPLICATIOS - Comfort, John Craig (Birkhaeuser Verlag, 1975)