Reasoning about rational agents - Wooldridge, Michael J. (The MIT Press, 2000)