Readings in Artificial Intelligence and Software Engineering - Rich, Charles; Waters, Richard (Morgan Kaufmann, 2014)