Automated Test Case Generation for BDI Agents
Some Remarks on the Semantics of FIPA's Agent Communication Language
Agent Programming in 3APL
Multiagent Systems : A Modern Approach to Distributed Artificial Intelligence