Understanding agent systems - D'Inverno, Mark (Springer, 2004)