1. Wooldridge, M., Jennings, N.R., Kinny, D.: The gaia methodology for agent-oriented analysis and design. J. Aut. Agents Multi-Agent Sys. 3 (2000)
2. Herlea, D.E., Jonker, C.M., Treur, J., Wijngaards, N.J.E.: Specification of behavioural requirements within compositional multi-agent system design. Proc. of Ninth European Workshop on Modelling Autonomous Agents in a Multi-Agent World, S. 8–27. Springer, Berlin Heidelberg (199)
3. Brazier, F.M.T., Jonkers, C.M., Treur, J.: Principles of Compositional Multi-Agent System Development. Proceedings 15th IFIP World Computer Congress, WCC’98, Conference on Information Technology and Knowledge Systems, IT&KNOWS’98, S. 347–360. Chapman and Hall, London (1998)
4. Jonker, C.M., Treur, J.: Compositional verification of multi-agent systems: a formal analysis of pro-activeness and reactiveness. Proc. International Workshop on Compositionality (COMPOS’97). Springer, Berlin Heidelberg (1997)
5. http://www.dfki.de/asr/index_mas_de.html