Frances M. T. Brazier, Barbara Dunin-Keplicz, Nick R. Jennings, Jan Treur. Formal Specification of Multi-Agent Systems: A Real-World Case. In Victor R. Lesser, Les Gasser, editors, Proceedings of the First International Conference on Multiagent Systems, June 12-14, 1995, San Francisco, California, USA. pages 25-32, The MIT Press, 1995.
Abstract is missing.