@inproceedings{75295,
 author = {L. Cardelli and J. Donahue and M. Jordan and B. Kalsow and G. Nelson},
 title = {The Modula–3 type system},
 booktitle = {Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages},
 year = {1989},
 isbn = {0-89791-294-2},
 pages = {202--212},
 location = {Austin, Texas, United States},
 doi = {http://doi.acm.org/10.1145/75277.75295},
 publisher = {ACM Press},
 }