On the formal specification and verification of multi-agent systems (1997)

by M Fisher, M Wooldridge
Venue:International Journal of Cooperative Information Systems