1. Barendregt, H.: Lambda Calculi with Types. In: Abramsky, Gabbay, Maibaum (eds.) Handbook of Logic in Computer Science, vol. II. Oxford University Press, Oxford (1992)
2. Bezem, M., Truong, H.: A Type Systemfor the Safe Instantiation of Components, July 2004. Electronic Notes in Theoretical Computer Science, vol. 97 (2004)
3. Bezem, M., Truong, H.: Counting Instances of Software Components. In: Proceedings of LRPP’04 (July 2004)
4. 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)
5. Crary, K., Walker, D., Morrisett, G.: Typed Memory Management in a Calculus of Capabilities. In: Twenty-Sixth ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Antonio, TX, USA, January 1999, pp. 262–275 (1999)