1. Austin, J.L.: How to do things with words. Oxford University Press, London (1962)
2. Blamey, S.: Partial Logic. In: Gabbay, D., Günthner, F. (eds.) Handbook of Philosophical Logic, vol. III, pp. 1–70. Reidel, Dordrecht (1986)
3. Bradshaw, J.M. (ed.): Software Agents. AAAI Press/MIT Press (1997)
4. Brazier, F.M.T., Dunin-Keplicz, B.M., Jennings, N.R., Treur, J.: Formal Specification of Multi-Agent Systems: a Real World Case. In: Lesser, V. (ed.) Proceedings First International Conference on Multi-Agent Systems, ICMAS 1995, pp. 25???32. MIT Press, Cambridge (1995);
5. Extended Version in: Huhns, M., Singh, M. (eds.): International Journal of Co-operative Information Systems, IJCIS, vol.??6 (1), pp. 67???94 (1997); special issue on Formal Methods in Co-operative Information Systems: Multi-Agent Systems