Introduction to artificial intelligence - Jackson Philip C (1974)