Artificial intelligence - Winston Patrick Henry (Addison-Wesley, 1984)