On the formal specifications of electronic institutions (2001)

by M Esteva, J Rodriguez-Aguilar, C Sierra, P Garcia, J Arcos
Venue:Agent Mediated Electronic Commerce, LNAI 1991