1. 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, Autonomous Republic of Crimea, Ukraine, vol. 1 (2002)
2. Lecture Notes in Computer Science;P. Cairns,2003
3. Hardy, G.H., Wright, E.M.: An Introduction to the Theory of Numbers, 4th edn. Clarendon Press, Oxford (1960)
4. Lecture Notes in Computer Science;J. Harrison,1996
5. Lamport, L.: How to Write a Proof. American Mathematical Monthly 102(7), 600–608 (1995)