1. Jacobs, B.: Categorical Logic and Type Theory. Studies in Logic and the Foundations of Mathematics. Elsevier (1999)
2. Bittner, T., Donnelly, M.: Computational ontologies of parthood, componenthood, and containment. In: Procs. of the Nineteenth International Joint Conference on Artificial Intelligence, pp. 382–387 (2005)
3. Lecture Notes in Computer Science;R. Burstall,1980
4. Coquand, T., Huet, G.: The calculus of constructions. Information and Computation 76(2–3), 95–120 (1988)
5. Dapoigny, R., Barlatier, P.: Towards Ontological Correctness of Part-whole Relations with Dependent Types. In: Procs. of the Sixth International Conference, FOIS 2010, pp. 45–58 (2010)