1. Brazier, F.M.T., Dunin-Keplicz, B., Jennings, N.R. and Treur, J. Formal specification of multi-agent systems: a real-world case. Proc. of the First International Conference on Multi-Agent Systems, ICMAS'95. Cambridge, MA. Edited by: Lesser, V. pp.25–32. MIT Press.
2. Huhns, M. and Singh, M., eds. 1997.International Journal of Cooperative Information SystemsVol. 6, 67–94. Extended version in, special issue on Formal Methods in Cooperative Information Systems: Multi-Agent Systems
3. Brazier, F.M.T., Treur, J. and Wijngaards, N.J.E. The acquisition of a shared task model. Advances in Knowledge Acquisition. Proc. 9th European Knowledge Acquisition Workshop. EKAW'96. Edited by: Shadbolt, N., O'Hara, K. and Schreiber, G. Vol. 1076, pp.278–289. Lecture notes in Artificial Intelligence
4. Brazier, F.M.T., Treur, J. and Wijngaards, N.J.E. Modelling interaction with experts: the role of a shared task model. Proc. European Conference on AI. ECAI'96. Edited by: Wahlster, W. pp.241–245. John Wiley and Sons.
5. Brazier, F.M.T., Treur, J., Wijngaards, N.J. E and Willems, M. Formal specification of hierarchically (de)composed tasks. Proc. of the 9th Banff Knowledge Acquisition for Knowledge-based Systems Workshop, KAW'95. Calgary. Edited by: Gaines, B.R. and Musen, M.A. SRDG Publications, Department of Computer Science, University of Calgary. 25/1-15/20