Understanding Agent Systems by Michael Lück & Mark D'inverno