Cardelli et al. (1989)

Cardelli L., Donahue J., Jordan M., Kalsow B. and Nelson G. (1989)

The Modula-3 Type System

In Proc. ACM Symposium on Principles of Programming Languages, Austin, Texas, pp. 202-212