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