1. Brazier, F.M.T., Dunin-Keplicz, B.M., Jennings, N.R. and Treur, J. (1997a). DESIRE: modelling multi-agent systems in a compositional formal framework. In M. Huhns and M. Singh (eds.) International Journal of Cooperative Information Systems, special issue on Formal Methods in Cooperative Information Systems: Multiagent Systems, 6(1), 67–94.
2. Brazier, F.M.T., Dunin-Keplicz, B.M., Treur, J. and Verbrugge, L.C. (1997b). Modelling internal dynamic behaviour of BDI agents. In Proc. 3rd Workshop of the ModelAge Project. (to appear).
3. Brazier, F.M.T., Jonker, C.M. and Treur, J. (1997c). Formalization of a cooperation model based on joint intentions. In J. Müller, M.J. Wooldridge and N.R. Jennings (eds.) Intelligent Agents III. LNAI 1193, 141–155, Berlin: Springer-Verlag.
4. Brazier, F.M.T., Van Eck, P.A.T. and Treur, J. (1997d). Modelling a Society of Simple Agents: from Conceptual Specification to Experimentation. Report, Faculty of Mathematics and Computer Science, Vrije Universiteit Amsterdam.
5. Brazier, F.M.T., Treur, J., Wijngaards, N.J.E. and Willems, M. (1995). Formal specification of hierarchically (de)composed tasks. In B.R. Gaines and M. Musen (eds.), Proc. of the 9th Banff Knowledge Acquisition for Knowledge-Based Systems Workshop, Vol. 2, 25/1–25/20, Department of Computer Science, University of Calgary: SRDG Publications.