Anarosa Brandão Paulo S. C. Alencar Carlos José Pereira de Lucena AgentZ: Extending Object-Z for Multi-agent Systems Specification. 125-139 2004 conf/aois/2004 AOIS http://dx.doi.org/10.1007/11426714_9 db/conf/aois/aois2004.html#BrandaoAL04