Artificial intelligence - Winston, Patrick Henry (Addison-Wesley series in computer science, 1977)