1. Avigad, J., Zach, R.: The epsilon calculus. In the Stanford Encyclopedia of Philosophy, version of May 3 (2002) on the web at,
http://plato.stanford.edu/entries/epsilon-calculus
,
2. Cardelli, L.: Program fragments, linking, and modularization. In: Conference Record of POPL 1997: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, January15–17 pp. 266–277 (1997)
3. Cardelli, L.: Type systems. In: Tucker, A.B. (ed.) The Computer Science and Engineering Handbook, ch. 103, pp. 2208–2236. CRC Press, Boca Raton (1997)
4. Cardelli, L., Leroy, X.: Abstract types and the dot notation. In: Proceedings of the IFIP TC2 Working Conference on Programming Concepts and Methods, North Holland, pp. 479–504 (1990)
5. Dean, D.: The security of static typing with dynamic linking. In: Proceedings of the Fourth ACM Conference on Computer and Communications Security, pp. 18–27 (1997)