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]