On the Formal Specification of Electronic Institutions (2001)

by M Esteva, J A Rodŕıguez, C Sierra, P Garcia, J L Arcos
Venue:In Agent-mediated Electronic Commerce (The European AgentLink Perspective), number 1991 in Lecture Notes in Artificial Intelligence