1. Alexander, C., Ishikawa, S., and Silverstein, M. (1977). A Pattern Language: Towns, Buildings, Construction. Oxford University Press, London.
2. Chang, C. and Keisler, H. (1977). Model Theory, volume 73 of Studies in Logic and the Foundations of Mathematics. Elsevier, Amsterdam.
3. Chen, X. and De Giacomo, G. (1999). Reasoning about nondeterministic and concurrent actions: A process algebra approach. Artificial Intelligence, 107: 63–98.
4. Dabke, P. (1999). Enterprise integration via corba-based information agents. IEEE Internet Computing, 3 (5): 49–57.
5. Fagin, R., Halpern, J., Moses, Y., and Vardi, M. (1995). Reasoning about Knowledge. MIT Press, Cambridge, MA.