Software specifications of negotiating agents
Rose Gamble and Sandip Sen, "Using Formal Specification to Resolve Conflicts between Contracting Agents" in Proc. AAAI-94 Workshop on Conflict Management in Cooperative Problem Solving, (pages 33-38) Seattle, Washington, August, 1994.