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