1. B??chi, M., Weck, W.: Compound types for Java. In: Proceedings of the ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA), Vancouver, Canada (October 1998);
2. Published as ACM SIGPLAN Notices, vol.??33(10), pp. 362???373 (1998)
3. Lecture Notes in Computer Science;M. Büchi,2000
4. Cardelli, L.: Typeful programming. SRC Research Report 45, Digital Systems Research Center, 130 Lytton Avenue, Palo Alto, CA 94301, May 24 (1989)
5. Cardelli, L., Donahue, J., Glassman, L., Jordan, M., Kalsow, B., Nelson, G.: (Modula-3) language definition. In: Nelson, G. (ed.) Systems Programming in Modula-3, ch. 2, pp. 11–66. Prentice-Hall, Englewood Cliffs (1991)