1. F.M.T. Brazier, B. Dunin-Keplicz, N.R. Jennings, and J. Treur, “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, Cambridge, MA, pp. 25–32. Extended version in: 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, pp. 67–94.
2. F.M.T. Brazier, J. Treur, and N.J.E. Wijngaards, “The Acquisition of a Shared Task Model”, in: N. Shadbolt, K. O’Hara, G. Schreiber (eds.), Advances in Knowledge Acquisition, Proc. 9th European Knowledge Acquisition Workshop, EKAW’96, Lecture Notes in Artificial Intelligence, vol. 1076, Springer Verlag, pp. 278–289.
3. F.M.T. Brazier, J. Treur, and N.J.E. Wijngaards, “Modelling Interaction with Experts: the Role of a Shared Task Model”, in: W. Wahlster (ed.), Proc. European Conference on AI, ECAI’96, John Wiley and Sons, 1996, pp. 241–245.
4. F.M.T. Brazier, J. Treur, N.J.E. Wijngaards, and M. Willems, “Formal Specification of Hierarchically (De)Composed Tasks”, in: B.R. Gaines, M.A. Musen (eds.), Proc. of the 9th Banff Knowledge Acquisition for Knowledge-based Systems workshop, KAW’95, Calgary: SRDG Publications, Department of Computer Science, University of Calgary, 1995, pp. 25/1–15/20.
5. P. Besnard, An Introduction to Default Logic, Springer-Verlag, 1989.