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