Reasoning about Rational Agents - Wooldridge (IEEE, 2003)