The AI Pocket Book - Maggiori (IEEE, 2003)