Artificial intelligence - Winston (Addison-Wesley series in computer science, 1984)