Adrian Birka, Michael D. Ernst. A practical type system and language for reference immutability. In John M. Vlissides, Douglas C. Schmidt, editors, Proceedings of the 19th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2004. pages 35-49, ACM, Vancouver, BC, Canada, 2004. [doi]
@inproceedings{BirkaE04,
title = {A practical type system and language for reference immutability},
author = {Adrian Birka and Michael D. Ernst},
year = {2004},
doi = {10.1145/1028976.1028980},
url = {http://doi.acm.org/10.1145/1028976.1028980},
tags = {type system},
researchr = {https://researchr.org/publication/BirkaE04},
cites = {0},
citedby = {0},
pages = {35-49},
booktitle = {Proceedings of the 19th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2004},
editor = {John M. Vlissides and Douglas C. Schmidt},
address = {Vancouver, BC, Canada},
publisher = {ACM},
isbn = {1-58113-831-8},
}