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