1. Bahler, D., C. Dupont, J. Bowen (1994). An axiomatic approach that supports negotiated resolution of design conflicts in concurrent engineering. In: J.S. Gero, F. Sudweeks (eds.), Artificial Intelligence in Design, Kluwer Academic Publishers, Dordrecht, pp. 363–379.
2. Brazier, F.M.T., B. Dunin-Keplicz, N.R. Jennings, J. Treur (1995). Formal Specification of Multi-Agent Systems: a Real World Case. In: V. Lesser (ed.), Proc. of the First International Conference on Multi-Agent Systems, ICMAS-95, MIT Press, pp. 25–32.
3. Brazier, F.M.T., B. Dunin-Keplicz, N.R. Jennings, J. Treur (1997). DESIRE: modelling multi-agent systems in a compositional formal framework. International Journal of Cooperative Information Systems, M. Huhns, M. Singh, (eds.), special issue on Formal Methods in Cooperative Information Systems: Multi-Agent Systems, vol. 6, 1997. In press.
4. Brazier, F.M.T., C.M. Jonker & J. Treur (1996). Modelling Project Coordination in a Multi-Agent Framework. In: Proceedings of the Fifth Workshops on Enabling Technology for Colloborative Enterprises, WET ICE'96, IEEE Computer Society Press, 1996, pp. 148–155.
5. Brazier, F.M.T., J. Treur, N.J.E. Wijngaards and M. Willems (1996). Temporal semantics of complex reasoning tasks. In: B.R. Gaines and M.A. Musen (eds.) Proceedings of the 10th Banff Knowledge Acquisition for Knowledge-Based Systems Workshop, KAW '96, Calgary: SRDG Publications, Department of Computer Science, University of Calgary.