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