Introduction to Artificial Intelligence - Ertel, Wolfgang (Springer London, 2011)