1. Andrews P. An Introduction to Mathematical Logic and Type Theory: to truth through proof. Applied Logic Series 27. Dordrecht: Kluwer Academic Publishers, 2002
2. Hindley J R. Basic Simple Type Theory. Cambridge University Press, 1997
3. Pierce B C. Types and Programming Languages. MIT Press, 2002
4. Astesiano E, Bidoit M, Kirchner H, et al. CASL: The common algebraic specification language. Theoretical Computer Science, 2002, 286(2): 153–196
5. McGuinness D. Ontologies come of age. In: Fensel D, et al, eds. The Semantic Web: Why, What, and How. MIT Press 2002