Understanding agent systems by Mark d'Inverno, Luck, Michael | Lex | Lex