1. Anderson, C.A.: Alonzo Church’s contributions to philosophy and intensional logic. Bull. Symbolic Logic 4(2), 129–171 (1998)
2. Baader, F., Calvanese, D., McGuinness, D., Nardi, D. (eds.): The Description Logic Handbook - Theory, Implementation and Applications. Cambridge University Press, Cambridge (2003)
3. Baclawski, K., Kokar, M., Smith, J.: Consistency Checking of RM-ODP Specifications. In: International Conference on Enterprise Information Systems, Setúbal, Portugal (2001)
4. Lecture Notes in Computer Science;K. Baclawski,2002
5. Lecture Notes in Computer Science;F. Weitl,2004