1. Bouron, T. and Collinot, A., SAM: a model to design computational social agents. In: B. Neumann (ed.), Proc. 10th European Conference on Artificial Intelligence, ECAI'92, John Wiley & Sons, Chichester, 1992, pp. 239–243
2. Brazier, F.M.T. and Treur, J. User centered knowledge-based system design: a formal modelling approach. In: L. Steels, G. Schreiber and W. Van de Velde (eds.), “A future for knowledge acquisition”, Proceedings of the 8th European Knowledge Acquisition Workshop, EKAW '94. Springer-Verlag, Lecture Notes in Artificial Intelligence 867, 1994, pp. 283–300.
3. Dunin-Keplicz, B. and Treur, J., Formal modelling in multi-agent domains. Report, Free University Amsterdam, Department of Mathematics and Computer Science, 1994. Shorter version in: L. Steels, G. Scheiber, W. van de Velde (eds.), Position papers of the EKAW94, Technical Report 94-2, Vrije Universiteit Brussel, AI Lab, 1994
4. Engelfriet, J. and Treur, J., Temporal theories of reasoning. In: C. MacNish, D. Pearce, L.M. Pereira (eds.), Logics in AI, Proc. JELIA'94, Lecture Notes in AI, Vol. 838, Springer Verlag, 1994, pp. 279–299.
5. Fisher, M. and Wooldridge, M, Specifying and verifying distributed intelligent systems, Proc. of the 6th Portugese Conference on AI, Lecture Notes in AI, Vol. 727, Springer Verlag, 1993