Alexander Kick. An Agent Algebra for the Formal Description and Verification of Multi Agent Systems. 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 452, The MIT Press, 1995.
Abstract is missing.