d'Inverno, Mark and Luck, Michael. 1997. 'Development and application of a formal agent framework'. In: Proceedings First IEEE International Conference on Formal Engineering Methods. Hiroshima, Japan. [Conference or Workshop Item]