Reasoning about Rational Agents by Michael Wooldridge & Michael J. Wooldridge