1. Lecture Notes in Computer Science,2003
2. Asperti, A., Wegner, B.: MOWGLI – A New Approach for the Content Description in Digital Documents. In: Proc. of the 9th Intl. Conference on Electronic Resources and the Social Role of Libraries in the Future, vol. 1, Autonomous Republic of Crimea, Ukraine (2002)
3. Bailey, A.: The machine-checked literate formalisation of algebra in type theory, PhD thesis. University of Manchester (1998)
4. Bishop, E.: Foundations of Constructive Analysis. McGraw-Hill, New York (1967)
5. Buchberger, B., et al.: An Overview on the Theorema project. In: Kuechlin, W. (ed.) Proceedings of ISSAC 1997, Maui, Hawaii. ACM Press, New York (1997)