d'Inverno, Mark; Kinny, David; Luck, Michael and Wooldridge, Michael. 1998. A formal specification of dMARS. In: Munindar P. Singh; Anand Rao and Michael J. Wooldridge, eds. Intelligent Agents IV: Agent Theories, Architectures, and Languages. 1365 Berlin, Germany: Springer, pp. 155-176. ISBN 9783540641629 [Book Section]

Luck, Michael; Griffiths, Nathan and d'Inverno, Mark. 1997. From agent theory to agent construction: A case study. In: Jörg P. Müller; Michael J. Wooldridge and Nicholas R. Jennings, eds. Intelligent Agents III Agent Theories, Architectures, and Languages. 1193 Berlin, Germany: Springer, pp. 49-63. ISBN 9783540625070 [Book Section]